TreeView Knowledge Base Browser

appearance as argument number 1

(subclass VehicleAttack ViolentContest)	Mid-level-ontology.kif 24426-24426	Vehicle attack is a subclass of violent contest
(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 24427-24429	Vehicle attack is a subclass of violent contest

appearance as argument number 2

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

antecedent

(=>
    (instance ?X VehicleAttack)
    (exists (?V)
        (and
            (instance ?V TransportationDevice)
            (instrument ?X ?V))))

If X is an instance of vehicle attack, then there exists Y such that Y is an instance of transportation device and Y is an instrument for X