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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleAttack

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 22188-22190
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 22187-22187 车辆攻击暴力比赛subclass

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


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

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


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


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