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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArmoredVehicle

Sigma KEE - ArmoredVehicle
ArmoredVehicle

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


(documentation ArmoredVehicle EnglishLanguage "a vehicle that is protected by armor plate (WN)") MilitaryDevices.kif 1597-1598
(externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ M-20.jpg") pictureList-ImageNet.kif 343-343
(externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ c7/ Amx10p_80.jpg") pictureList-ImageNet.kif 344-344
(externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d7/ GTK_Boxer_front.JPG/ 200px-GTK_Boxer_front.JPG") pictureList.kif 1036-1036
(subclass ArmoredVehicle Vehicle) MilitaryDevices.kif 1595-1595

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


(subclass APC ArmoredVehicle) MilitaryDevices.kif 1574-1574
(subclass MilitaryTank ArmoredVehicle) MilitaryDevices.kif 1607-1607
(termFormat EnglishLanguage ArmoredVehicle "armored vehicle") domainEnglishFormat.kif 1840-1840

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


(=>
    (instance ?AV ArmoredVehicle)
    (exists (?A)
        (and
            (instance ?A Armor)
            (part ?A ?AV))))
MilitaryDevices.kif 1600-1605

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


(=>
    (instance ?W AntiTankWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?V)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?V)
                (instance ?V ArmoredVehicle)))))
MilitaryDevices.kif 873-881


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