Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Shield
Shield(shield)
buckler, pavis, pavise, shield

appearance as argument number 1
-------------------------


(subclass Shield Artifact) Mid-level-ontology.kif 1690-1690 Shield is a subclass of artifact
(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 1691-1692 Shield is a subclass of artifact
(defaultMinimumHeight Shield
    (MeasureFn 0.5 Inch))		 DimensioningAmenities.kif 943-943 The minimum expected height of shield is 0.5 inch(s)
(defaultMaximumHeight Shield
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 944-944 The maximum expected height of shield is 3 inch(s)
(defaultMinimumWidth Shield
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 945-945 The minimum expected width of shield is 12 inch(s)
(defaultMaximumWidth Shield
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 946-946 The maximum expected width of shield is 36 inch(s)
(defaultMinimumLength Shield
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 947-947 The minimum expected length of shield is 12 inch(s)
(defaultMaximumLength Shield
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 948-948 The maximum expected length of shield is 60 inch(s)
(defaultMinimumMeasure Shield
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 949-949 The minimum expected value of shield is 10 pound mass(s)
(defaultMaximumMeasure Shield
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 950-950 The maximum expected value of shield is 100 pound mass(s)
(externalImage Shield "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Australian_Aboriginal_shield.JPG") pictureList.kif 4820-4820 The maximum expected value of shield is 100 pound mass(s)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Shield "shield") domainEnglishFormat.kif 52540-52540
(termFormat ChineseTraditionalLanguage Shield "屏蔽") domainEnglishFormat.kif 52541-52541
(termFormat ChineseLanguage Shield "屏蔽") domainEnglishFormat.kif 52542-52542

antecedent
-------------------------


(=>
    (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 1694-1714 If X is an instance of shield, then X has the purpose there exist Y, Z, W such that Y is an instance of protecting, X is an instrument for Y, Z is an instance of human, Z is a patient of Y, and Y prevents the occurrence of the class described by W
(=>
    (instance ?S Shield)
    (exists (?H)
        (and
            (instance ?H Handle)
            (part ?H ?S))))		 Mid-level-ontology.kif 1716-1721 If X is an instance of shield, then there exists Y such that Y is an instance of handle and Y is a part of X


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.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners