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
-------------------------


(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 9181-9181

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