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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - caliber
caliber

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 214-215
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 212-212 The number 2 argument of caliber is an instance of length measure
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 211-211 The number 1 argument of caliber is a subclass of gun
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 208-208 caliber is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 209-209 caliber is an instance of total valued relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 336-336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 335-335
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2036-2036
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 334-334
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12723-12723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12722-12722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12721-12721

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 233-245
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 250-262
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 219-228

appearance as argument number 0
-------------------------


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


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