Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Biting
Biting(biting)
bite, nibble, seize_with_teeth

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


(subclass Biting Grabbing) Mid-level-ontology.kif 7599-7599 Biting is a subclass of grabbing
(documentation Biting EnglishLanguage "Any instance of Grabbing where the instrument is the Mouth of the agent.") Mid-level-ontology.kif 7600-7601 Biting is a subclass of grabbing
(externalImage Biting "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Eating_stroopwafels_is_a_blast.jpg") pictureList.kif 2754-2754 Biting is a subclass of grabbing
(externalImage Biting "http://upload.wikimedia.org/wikipedia/commons/8/8e/ Roll_and_jam.jpg") pictureList.kif 2755-2755 Biting is a subclass of grabbing

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


(termFormat EnglishLanguage Biting "biting") domainEnglishFormat.kif 11231-11231
(termFormat ChineseTraditionalLanguage Biting "尖刻") domainEnglishFormat.kif 11232-11232
(termFormat ChineseLanguage Biting "尖刻") domainEnglishFormat.kif 11233-11233

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


(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))		 Mid-level-ontology.kif 7603-7611 If X is an instance of biting and Y is an agent of X, then there exists Z such that Z is an instance of mouth, Z is a part of Y, and Z is an instrument for X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners