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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VehicleAttack
VehicleAttack

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


(documentation VehicleAttack EnglishLanguage "An event in which a vehicle is used by an agent in order to inflict injury, death or damage to people or property.") Mid-level-ontology.kif 22136-22138
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 22135-22135

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


(termFormat ChineseLanguage VehicleAttack "车辆攻击") domainEnglishFormat.kif 61352-61352
(termFormat ChineseTraditionalLanguage VehicleAttack "車輛攻擊") domainEnglishFormat.kif 61351-61351
(termFormat EnglishLanguage VehicleAttack "vehicle attack") domainEnglishFormat.kif 61350-61350

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


(=>
    (instance ?X VehicleAttack)
    (exists (?V)
        (and
            (instance ?V TransportationDevice)
            (instrument ?X ?V))))
Mid-level-ontology.kif 22140-22145


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