TreeView Knowledge Base Browser - AH1

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AH1

Sigma KEE - AH1

AH1(A h1)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1891-1896
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1889-1889	A h1 is a subclass of helicopter
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1890-1890	A h1 is a subclass of military vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6030-6030
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6029-6029
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6028-6028
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2091-2091

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1900-1912	If a self connected object is an instance of A h1, then the length of the self connected object is 17.68 meter(s) and the width of the self connected object is 14.63 meter(s) and the height of the self connected object is 4.44 meter(s) and 4634.0 kilogram(s) is a weight of the self connected object and 587.0 kilometer(s) is an effective range of the self connected object
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
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1935-1941	If a physical is an instance of A h1, then the physical has the purpose there exists an entity such that the entity is an instance of attack and the physical is an instrument for the entity

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