| 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 | VehicleAttack は 激しいコンテスト の subclass では %n |
| 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 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