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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - XM218
XM218(XM218)

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


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. MilitaryDevices.kif 517-527
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8307-8307
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8308-8308
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8309-8309
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8310-8310
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 515-515 XM218 is internally related to m2 browning
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 514-514 XM218 is a subclass of heavy machine gun

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63631-63631
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63630-63630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2048-2048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63629-63629

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 543-546
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 536-539

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1804-1808


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