| 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 23250-23252 | |
| (subclass VehicleAttack ViolentContest) | Mid-level-ontology.kif 23249-23249 | Vehicle attack is a subclass of violent contest |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage VehicleAttack "车辆攻击") | domainEnglishFormat.kif 61375-61375 | |
| (termFormat ChineseTraditionalLanguage VehicleAttack "車輛攻擊") | domainEnglishFormat.kif 61374-61374 | |
| (termFormat EnglishLanguage VehicleAttack "vehicle attack") | domainEnglishFormat.kif 61373-61373 |
| antecedent |
|
|
| (=> (instance ?X VehicleAttack) (exists (?V) (and (instance ?V TransportationDevice) (instrument ?X ?V)))) |
Mid-level-ontology.kif 23254-23259 |
|
|
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