Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meter
Meter(meter)
m, meter, metre

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2490-2492
No TPTP formula. May not be expressible in strict first order. Merge.kif 6660-6663
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1849-1849
No TPTP formula. May not be expressible in strict first order. Merge.kif 6658-6658 Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6657-6657 Meter is an instance of unit of length

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37327-37327
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37326-37326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37325-37325

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1323-1330
No TPTP formula. May not be expressible in strict first order. Weather.kif 2537-2550
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1570-1577
No TPTP formula. May not be expressible in strict first order. Transportation.kif 403-409
No TPTP formula. May not be expressible in strict first order. Transportation.kif 453-458
No TPTP formula. May not be expressible in strict first order. Transportation.kif 427-433
No TPTP formula. May not be expressible in strict first order. Transportation.kif 435-441
No TPTP formula. May not be expressible in strict first order. Transportation.kif 721-725
No TPTP formula. May not be expressible in strict first order. Transportation.kif 744-748
No TPTP formula. May not be expressible in strict first order. Transportation.kif 767-771
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2653-2658
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2660-2665

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1445-1457
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1426-1438
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1407-1419
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1464-1474
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1391-1400
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1570-1577
No TPTP formula. May not be expressible in strict first order. Geography.kif 4674-4679
No TPTP formula. May not be expressible in strict first order. Geography.kif 4739-4744
No TPTP formula. May not be expressible in strict first order. Geography.kif 4607-4613
No TPTP formula. May not be expressible in strict first order. Geography.kif 1332-1339
No TPTP formula. May not be expressible in strict first order. Geography.kif 3802-3808
No TPTP formula. May not be expressible in strict first order. Geography.kif 3827-3834
No TPTP formula. May not be expressible in strict first order. Geography.kif 3818-3825
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18865-18871
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1662-1674
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1235-1247
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1155-1167
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1900-1912
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1189-1201
No TPTP formula. May not be expressible in strict first order. WMD.kif 205-211
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1860-1872
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1788-1800
No TPTP formula. May not be expressible in strict first order. Transportation.kif 900-902
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1744-1756
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1542-1554

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4593-4595 0.0 Meter(s) is an elevation of the elevation high point of southern ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4597-4599 -7235.0 Meter(s) is an elevation of the elevation low point of southern ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4736-4737 0.0 Meter(s) is an elevation of sea level
No TPTP formula. May not be expressible in strict first order. Geography.kif 3798-3800 1.0 Nautical mile(s) is equal to 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7140-7142 A real number angstrom(s) is equal to the real number and 1.0E-10 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 6747-6749 A real number centimeter(s) is equal to the real number and 0.01 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7153-7155 A real number foot length(s) is equal to the real number and 0.3048 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7160-7162 A real number inch(s) is equal to the real number and 0.0254 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 6766-6769 A real number kilometer(s) is equal to the real number and 1000 meter(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 6797-6800 A real number micrometer(s) is equal to the real number and 0.0000001 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7167-7169 A real number mile(s) is equal to the real number and 1609.344 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 6756-6759 A real number millimeter(s) is equal to the real number and 0.001 meter(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 3906-3906 Square kilometer is equal to the square unit of 1 thousand meters
No TPTP formula. May not be expressible in strict first order. Geography.kif 3905-3905 Square meter is equal to the square unit of meter
No TPTP formula. May not be expressible in strict first order. Geography.kif 4581-4584 The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners