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 1703-1703 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 1704-1705 Shield is a subclass of artifact
(defaultMinimumHeight Shield
    (MeasureFn 0.5 Inch))		 DimensioningAmenities.kif 941-941 The minimum expected height of shield is 0.5 inch(s)
(defaultMaximumHeight Shield
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 942-942 The maximum expected height of shield is 3 inch(s)
(defaultMinimumWidth Shield
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 943-943 The minimum expected width of shield is 12 inch(s)
(defaultMaximumWidth Shield
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 944-944 The maximum expected width of shield is 36 inch(s)
(defaultMinimumLength Shield
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 945-945 The minimum expected length of shield is 12 inch(s)
(defaultMaximumLength Shield
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 946-946 The maximum expected length of shield is 60 inch(s)
(defaultMinimumMeasure Shield
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 947-947 The minimum expected value of shield is 10 pound mass(s)
(defaultMaximumMeasure Shield
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 948-948 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 1707-1727 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 1729-1734 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 is open source software produced by Articulate Software and its partners