Armor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Armor

Armor(armor)

armor, armour, body_armor, body_armour, cataphract, coat_of_mail, suit_of_armor, suit_of_armour

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1610-1615
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1469-1469
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1609-1609	Armor is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8431-8431
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8430-8430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8429-8429

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object purpose there exists an entity such that the entity is an instance of maintaining and the object is an instrument for the entity and the other object experiences the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object purpose there doesn't exist an entity such that the entity is an instance of damaging and the object is an instrument for the entity and the other object experiences the entity

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1601-1606	If an object is an instance of armored vehicle, then there exists another object such that the other object is an instance of armor and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 659-667	If a physical is an instance of anti armor weapon, then the physical purpose there exist an entity and another entity such that the entity is an instance of damaging and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of armor

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