OpenMath Content Dictionaries
GPTKB entity
Statements (125)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical knowledge representation standard
|
| gptkbp:contains |
definitions
symbols formal properties |
| gptkbp:example |
error
alg1 arith1 bigfloat1 bigint1 calculus1 combinat1 complex1 field1 fns1 group1 integer1 interval1 linalg1 list1 logic1 minmax1 nums1 plangeo1 poly1 polyd1 quant1 relation1 ring1 set1 setname1 transc1 units_absorbed1 units_absorptance1 units_activity1 units_amount1 units_angle1 units_area1 units_capacitance1 units_catalytic1 units_charge1 units_concentration1 units_conductance1 units_current1 units_density1 units_dose1 units_electriccapacitance1 units_electriccharge1 units_electricchargecarrier1 units_electricconductance1 units_electriccurrentdensity1 units_electricdipolemoment1 units_electricfield1 units_electricfieldstrength1 units_electricflux1 units_electrichexadecapolemoment1 units_electricinductance1 units_electricmobility1 units_electricoctupolemoment1 units_electricpermeability1 units_electricpermittivity1 units_electricpolarizability1 units_electricpotential1 units_electricquadrupolemoment1 units_electricresistance1 units_emittance1 units_energy1 units_entropy1 units_enzyme1 units_equivalent1 units_exposure1 units_flux1 units_force1 units_frequency1 units_heat1 units_illuminance1 units_inductance1 units_information1 units_irradiance1 units_length1 units_luminance1 units_luminous1 units_magnetic1 units_magneticfield1 units_magneticflux1 units_mass1 units_metric1 units_molar1 units_moment1 units_ops1 units_permeability1 units_permittivity1 units_power1 units_pressure1 units_radiance1 units_radioactivity1 units_reflectance1 units_refractive1 units_resistance1 units_siprefix1 units_sound1 units_specific1 units_speed1 units_surface1 units_temp1 units_time1 units_torque1 units_transmittance1 units_usystem1 units_viscosity1 units_voltage1 units_volume1 units_work1 |
| gptkbp:format |
XML
|
| https://www.w3.org/2000/01/rdf-schema#label |
OpenMath Content Dictionaries
|
| gptkbp:maintainedBy |
gptkb:OpenMath_Society
|
| gptkbp:partOf |
gptkb:OpenMath_standard
|
| gptkbp:relatedTo |
gptkb:MathML
gptkb:OMDoc Content MathML |
| gptkbp:usedFor |
semantic interoperability
defining mathematical concepts |
| gptkbp:usedIn |
statistical analysis
computer algebra systems |
| gptkbp:bfsParent |
gptkb:The_OpenMath_Society
|
| gptkbp:bfsLayer |
7
|