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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Armor

Sigma KEE - Armor
Armor

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


(documentation Armor EnglishLanguage "Armor is protective clothing intended to defend its wearer from intentional harm in combat and military engagements, typically associated with soldiers. Armour has been used throughout recorded history, beginning with hides, leather, and bone, before progressing to bronze, then steel during the middle ages, to modern fabrics such as Kevlar, Dyneema and ceramics. (from Wikipedia)") MilitaryDevices.kif 1609-1614
(externalImage Armor "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Modern-armor-suit.jpg") pictureList.kif 1469-1469
(subclass Armor Artifact) MilitaryDevices.kif 1608-1608

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


(termFormat EnglishLanguage Armor "armor") domainEnglishFormat.kif 1838-1838

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


(=>
    (and
        (instance ?A Armor)
        (or
            (part ?A ?OBJ)
            (meetsSpatially ?A ?OBJ)))
    (hasPurpose ?A
        (exists (?MAINTAINING)
            (and
                (instance ?MAINTAINING Maintaining)
                (instrument ?MAINTAINING ?A)
                (experiencer ?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1618-1629
(=>
    (and
        (instance ?A Armor)
        (or
            (part ?A ?OBJ)
            (meetsSpatially ?A ?OBJ)))
    (hasPurpose ?A
        (not
            (exists (?DAMAGING)
                (and
                    (instance ?DAMAGING Damaging)
                    (instrument ?DAMAGING ?A)
                    (experiencer ?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1631-1643

consequent
-------------------------


(=>
    (instance ?AV ArmoredVehicle)
    (exists (?A)
        (and
            (instance ?A Armor)
            (part ?A ?AV))))
MilitaryDevices.kif 1600-1605
(=>
    (instance ?W AntiArmorWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?ARMOR)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?ARMOR)
                (instance ?ARMOR Armor)))))
MilitaryDevices.kif 658-666


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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