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 口徑, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 211-211 域子類 口徑, 1 and
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 208-208 口徑 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 209-209 口徑 and TotalValuedRelation

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 測量 25.0 and 毫米GAU12Ucaliber
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 393-394 測量 7.62 and 毫米M240caliber
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 282-283 測量 25.0 and 毫米M242caliber
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 497-498 測量 12.7 and 毫米m2褐變caliber
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 574-575 測量 12.7 and 毫米M3Mcaliber
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 433-434 測量 7.62 and 毫米M60caliber
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 636-637 測量 40.0 and 毫米Mk19caliber
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 828-829 測量 83.0 and 毫米SMAW掩體破壞者caliber
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 531-532 測量 12.7 and 毫米XM218caliber


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