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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Millimeter
Millimeter(millimeter)millimeter, millimetre, mm

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2515-2515
No TPTP formula. May not be expressible in strict first order. Merge.kif 6784-6785
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1214-1215
No TPTP formula. May not be expressible in strict first order. Merge.kif 6787-6787 Millimeter 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 37805-37805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37804-37804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37803-37803

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1285-1301
No TPTP formula. May not be expressible in strict first order. Food.kif 1367-1385
No TPTP formula. May not be expressible in strict first order. Food.kif 1399-1415
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1576-1583
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1526-1533
No TPTP formula. May not be expressible in strict first order. Geography.kif 7311-7316
No TPTP formula. May not be expressible in strict first order. Geography.kif 7288-7295
No TPTP formula. May not be expressible in strict first order. Geography.kif 7265-7272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17972-17980
No TPTP formula. May not be expressible in strict first order. Geography.kif 4375-4383
No TPTP formula. May not be expressible in strict first order. Geography.kif 4420-4428

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1063-1073
No TPTP formula. May not be expressible in strict first order. Media.kif 1243-1248
No TPTP formula. May not be expressible in strict first order. Media.kif 1230-1235
No TPTP formula. May not be expressible in strict first order. Weather.kif 2803-2815
No TPTP formula. May not be expressible in strict first order. Weather.kif 1109-1123
No TPTP formula. May not be expressible in strict first order. Weather.kif 1057-1070

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 316-317 25.0 Millimeter(s) is a caliber of GAU12U
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 393-394 7.62 Millimeter(s) is a caliber of m240
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 282-283 25.0 Millimeter(s) is a caliber of m242
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 497-498 12.7 Millimeter(s) is a caliber of m2 browning
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 574-575 12.7 Millimeter(s) is a caliber of M3M
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 433-434 7.62 Millimeter(s) is a caliber of m60
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 636-637 40.0 Millimeter(s) is a caliber of Mk19
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 828-829 83.0 Millimeter(s) is a caliber of SMAW bunker buster
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 531-532 12.7 Millimeter(s) is a caliber of XM218
No TPTP formula. May not be expressible in strict first order. Merge.kif 6789-6792 A real number millimeter(s) is equal to the real number and 0.001 meter(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