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

(documentation Armor EnglishLanguage "Armor is protective clothing intended to defend its wearer from intentional harm in combat and military engagements, typically associated with soldiers. Armour has been used throughout recorded history, beginning with hides, leather, and bone, before progressing to bronze, then steel during the middle ages, to modern fabrics such as Kevlar, Dyneema and ceramics. (from Wikipedia)")	MilitaryDevices.kif 1610-1615
(externalImage Armor "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Modern-armor-suit.jpg")	pictureList.kif 1468-1468
(subclass Armor Artifact)	MilitaryDevices.kif 1609-1609	Armor is a subclass of artifact

appearance as argument number 2

(termFormat ChineseLanguage Armor "盔甲")	domainEnglishFormat.kif 8432-8432
(termFormat ChineseTraditionalLanguage Armor "盔甲")	domainEnglishFormat.kif 8431-8431
(termFormat EnglishLanguage Armor "armor")	domainEnglishFormat.kif 8430-8430

antecedent

(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (exists (?MAINTAINING) (and (instance ?MAINTAINING Maintaining) (instrument ?MAINTAINING ?A) (experiencer ?MAINTAINING ?OBJ)))))	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 has the 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
(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ))))))	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 has the 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

(=> (instance ?AV AMEV) (exists (?A) (and (instance ?A Armor) (part ?A ?AV))))	MilitaryDevices.kif 2140-2145	If an object is an instance of M113A4 Armored Medical Evacuation 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
(=> (instance ?AV ArmoredVehicle) (exists (?A) (and (instance ?A Armor) (part ?A ?AV))))	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
(=> (instance ?W AntiArmorWeapon) (hasPurpose ?W (exists (?DAMAGING ?ARMOR) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?W) (patient ?DAMAGING ?ARMOR) (instance ?ARMOR Armor)))))	MilitaryDevices.kif 659-667	If a physical is an instance of anti armor weapon, then the physical has the 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