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 6244-6247
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1849-1849 "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum-Iridium_meter_bar.jpg" is a URL depicting meter
No TPTP formula. May not be expressible in strict first order. Merge.kif 6242-6242 Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6241-6241 Meter is an instance of UnitOfLength

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37267-37267 "仪表" is the printable form of meter in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37266-37266 "儀表" is the printable form of meter in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37265-37265 "meter" is the printable form of meter in english language

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 1059-1070
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1462-1469

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 1462-1469
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 16772-16778
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 6717-6719 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 6330-6332 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 6730-6732 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 6737-6739 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 6349-6352 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 6744-6746 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 6339-6342 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners