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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleAttack

Sigma KEE - VehicleAttack
VehicleAttack(vehicle attack)

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 Vehicle attack is a subclass of violent contest

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 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 3.0 is open source software produced by Articulate Software and its partners