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 371-372
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 369-369 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 368-368 The number 1 argument of caliber is a subclass of gun
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 365-365 caliber is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 366-366 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 2193-2193
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 12730-12730
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12729-12729
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12728-12728

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 390-402
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 407-419
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 376-385

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 473-474 25.0 Millimeter(s) is a caliber of GAU12U
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 550-551 7.62 Millimeter(s) is a caliber of m240
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 439-440 25.0 Millimeter(s) is a caliber of m242
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 654-655 12.7 Millimeter(s) is a caliber of m2 browning
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 731-732 12.7 Millimeter(s) is a caliber of M3M
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 590-591 7.62 Millimeter(s) is a caliber of m60
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 793-794 40.0 Millimeter(s) is a caliber of Mk19
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 985-986 83.0 Millimeter(s) is a caliber of SMAW bunker buster
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 688-689 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