Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KnifeAttack
KnifeAttack(knife attack)bayonet, knife, poniard, stab

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage KnifeAttack "刀攻击") domainEnglishFormat.kif 32735-32735
(termFormat ChineseTraditionalLanguage KnifeAttack "刀攻擊") domainEnglishFormat.kif 32734-32734
(termFormat EnglishLanguage KnifeAttack "knife attack") domainEnglishFormat.kif 32733-32733

antecedent
-------------------------


(=>
    (instance ?X KnifeAttack)
    (exists (?HG)
        (and
            (instance ?HG Knife)
            (instrument ?X ?HG))))
Mid-level-ontology.kif 22285-22290


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