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 6396-6399
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 6394-6394 Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6393-6393 Meter is an instance of UnitOfLength

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37264-37264
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37263-37263
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37262-37262

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1300-1307
No TPTP formula. May not be expressible in strict first order. Weather.kif 1276-1287
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1546-1553

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1432-1443
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1414-1425
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1396-1407
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1450-1459
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1380-1389
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1546-1553
No TPTP formula. May not be expressible in strict first order. Transportation.kif 400-405
No TPTP formula. May not be expressible in strict first order. Transportation.kif 447-452
No TPTP formula. May not be expressible in strict first order. Transportation.kif 423-428
No TPTP formula. May not be expressible in strict first order. Transportation.kif 430-435
No TPTP formula. May not be expressible in strict first order. Geography.kif 4456-4460
No TPTP formula. May not be expressible in strict first order. Geography.kif 4518-4522
No TPTP formula. May not be expressible in strict first order. Geography.kif 4409-4413
No TPTP formula. May not be expressible in strict first order. Geography.kif 3699-3701
No TPTP formula. May not be expressible in strict first order. Geography.kif 3711-3713
No TPTP formula. May not be expressible in strict first order. Geography.kif 3707-3709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16894-16900
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. Geography.kif 1309-1314
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

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 4400-4400 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 4401-4401 -7235 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 4516-4516 0 Meter(s) is an elevation of sea level
No TPTP formula. May not be expressible in strict first order. Geography.kif 3697-3697 1 Nautical mile(s) is equal to 1852 meter(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 624-625 1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 3749-3750 1 Square meter(s) is equal to 1 meter(s) and 1 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 6869-6871 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 6482-6484 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 6882-6884 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 6889-6891 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 6501-6504 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 6435-6438 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 6896-6898 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 6491-6494 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 3768-3768 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 3767-3767 Square meter is equal to the square unit of meter
No TPTP formula. May not be expressible in strict first order. Geography.kif 4393-4393 The length of the shoreline of southern ocean and antarctica is 17968 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