Shield - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Shield

Shield(shield)

buckler, pavis, pavise, shield

appearance as argument number 1

(documentation Shield EnglishLanguage "An Artifact that is held by the hand or whole arm and is used to prevent injuries from Weapons.")	Mid-level-ontology.kif 1462-1463
(externalImage Shield "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Australian_Aboriginal_shield.JPG")	pictureList.kif 4820-4820
(subclass Shield Artifact)	Mid-level-ontology.kif 1461-1461	Shield is a subclass of artifact

appearance as argument number 2

(termFormat ChineseLanguage Shield "屏蔽")	domainEnglishFormat.kif 52578-52578
(termFormat ChineseTraditionalLanguage Shield "屏蔽")	domainEnglishFormat.kif 52577-52577
(termFormat EnglishLanguage Shield "shield")	domainEnglishFormat.kif 52576-52576

antecedent

(=> (instance ?S Shield) (exists (?H) (and (instance ?H Handle) (part ?H ?S))))	Mid-level-ontology.kif 1487-1492	If an object is an instance of shield, then there exists another object such that the other object is an instance of handle and the other object is a part of the object
(=> (instance ?S Shield) (hasPurpose ?S (exists (?P ?H ?I) (and (instance ?P Protecting) (instrument ?P ?S) (instance ?H Human) (patient ?P ?H) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (exists (?W) (and (instance ?W Weapon) (instrument ?I ?W))) (=> (patient ?I ?H) (not (patient ?P ?H))))))))))	Mid-level-ontology.kif 1465-1485	If a physical is an instance of shield, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of protecting and the physical is an instrument for the entity and the other entity is an instance of human and the other entity is a patient of the entity and the entity prevents the occurrence of the class described by the third entity

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