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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Shield
Shield
تُرْس,

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


(defaultMaximumHeight Shield
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 1189-1189
(defaultMaximumLength Shield
    (MeasureFn 60 Inch))
DimensioningAmenities.kif 1193-1193
(defaultMaximumMeasure Shield
    (MeasureFn 100 PoundMass))
DimensioningAmenities.kif 1195-1195
(defaultMaximumWidth Shield
    (MeasureFn 36 Inch))
DimensioningAmenities.kif 1191-1191
(defaultMinimumHeight Shield
    (MeasureFn 0.5 Inch))
DimensioningAmenities.kif 1188-1188
(defaultMinimumLength Shield
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 1192-1192
(defaultMinimumMeasure Shield
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 1194-1194
(defaultMinimumWidth Shield
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 1190-1190
(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 1869-1870
(externalImage Shield "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Australian_Aboriginal_shield.JPG") pictureList.kif 4822-4822
(subclass Shield Artifact) Mid-level-ontology.kif 1868-1868

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


(termFormat EnglishLanguage Shield "shield") domainEnglishFormat.kif 9185-9185

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


(=>
    (instance ?S Shield)
    (exists (?H)
        (and
            (instance ?H Handle)
            (part ?H ?S))))
Mid-level-ontology.kif 1894-1899
(=>
    (instance ?S Shield)
    (hasPurpose ?S
        (exists (?P ?H)
            (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 1872-1892


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners