TreeView Knowledge Base Browser - M197GatlingGun

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - M197GatlingGun

M197GatlingGun(m197 gatling gun)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 902-925
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 901-901	M197 gatling gun is a subclass of gatling gun

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35405-35405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35404-35404
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2059-2059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35403-35403

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1916-1922	If a military vehicle is an instance of A h1, then the military vehicle can carry 1 weapons of type m197 gatling gun. and the military vehicle can carry 4 weapons of type anti tank missile. and the military vehicle can carry 8 weapons of type AG m114. and the military vehicle can carry 1 weapons of type AI m9.
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1926-1931	If an object is an instance of A h1, then there exists another object such that the other object is an instance of m197 gatling gun and the other object is a part of the object

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