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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - XM218
XM218

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 531-532 caliber XM218 and 12.7 Millimeter(s)
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 e' relacionado internamente por SUMO a M2Browning
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 514-514 XM218 e' uma sub-classe de HeavyMachineGun

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63633-63633
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63632-63632
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 63631-63631

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