TreeView Knowledge Base Browser

appearance as argument number 1

(subclass KnifeAttack ViolentContest)	Mid-level-ontology.kif 24268-24268	Knife attack is a subclass of violent contest
(documentation KnifeAttack EnglishLanguage "An attack in which a knife is used.")	Mid-level-ontology.kif 24269-24269	Knife attack is a subclass of violent contest

appearance as argument number 2

(termFormat EnglishLanguage KnifeAttack "knife attack")	domainEnglishFormat.kif 32703-32703
(termFormat ChineseTraditionalLanguage KnifeAttack "刀攻擊")	domainEnglishFormat.kif 32704-32704
(termFormat ChineseLanguage KnifeAttack "刀攻击")	domainEnglishFormat.kif 32705-32705

antecedent

(=>
    (instance ?X KnifeAttack)
    (exists (?HG)
        (and
            (instance ?HG Knife)
            (instrument ?X ?HG))))

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