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

Formal Language: 



KB Term:  Term intersection
English Word: 

  caliber

 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 O argumento numero 2 de caliber e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 211-211 O argumento numero 1 de caliber e' uma sub-classe de Gun
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 208-208 caliber e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 209-209 caliber e' uma instancia de Relacao Total

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 12721-12721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12720-12720
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12719-12719

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 caliber GAU12U and 25.0 Millimeter(s)
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 393-394 caliber M240 and 7.62 Millimeter(s)
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 282-283 caliber M242 and 25.0 Millimeter(s)
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 497-498 caliber M2Browning and 12.7 Millimeter(s)
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 574-575 caliber M3M and 12.7 Millimeter(s)
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 433-434 caliber M60 and 7.62 Millimeter(s)
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 636-637 caliber MK19 and 40.0 Millimeter(s)
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 828-829 caliber SMAWBunkerBuster and 83.0 Millimeter(s)
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 531-532 caliber XM218 and 12.7 Millimeter(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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