| 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 22419-22421 | |
| (subclass VehicleAttack ViolentContest) | Mid-level-ontology.kif 22418-22418 | Vehicle attack is a subclass of violent contest |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage VehicleAttack "车辆攻击") | domainEnglishFormat.kif 61400-61400 | |
| (termFormat ChineseTraditionalLanguage VehicleAttack "車輛攻擊") | domainEnglishFormat.kif 61399-61399 | |
| (termFormat EnglishLanguage VehicleAttack "vehicle attack") | domainEnglishFormat.kif 61398-61398 |
| antecedent |
|
|
| (=> (instance ?X VehicleAttack) (exists (?V) (and (instance ?V TransportationDevice) (instrument ?X ?V)))) |
Mid-level-ontology.kif 22423-22428 |
|
|
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