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



KB Term:  Term intersection
English Word: 

Sigma KEE - Chewing
Chewing(chewing)
champ, chaw, chew, chomp, crunch, gnaw, gum, jaw, manducate, masticate, mumble, munch

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


(subclass Chewing BodyMotion) Mid-level-ontology.kif 13051-13051 Chewing is a subclass of body motion
(documentation Chewing EnglishLanguage "Breaking up or mashing Food with one's teeth.") Mid-level-ontology.kif 13052-13052 Chewing is a subclass of body motion
(externalImage Chewing "http://upload.wikimedia.org/wikipedia/commons/9/ 9d/ Lovebird_Chewing_Stick.JPG") pictureList.kif 5909-5909 Chewing is a subclass of body motion
(externalImage Chewing "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Turbo_rozpakowane_1.jpg") pictureList.kif 6244-6244 Chewing is a subclass of body motion
(externalImage Chewing "http://upload.wikimedia.org/wikipedia/commons/9/ 94/ Matt_Tong.jpg") pictureList.kif 6245-6245 Chewing is a subclass of body motion

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


(termFormat EnglishLanguage Chewing "chewing") domainEnglishFormat.kif 14388-14388
(termFormat ChineseTraditionalLanguage Chewing "咀嚼") domainEnglishFormat.kif 14389-14389
(termFormat ChineseLanguage Chewing "咀嚼") domainEnglishFormat.kif 14390-14390

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


(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 13054-13058 If X is an instance of chewing and Y is a resource for X, then Y is an instance of food for organism
(=>
    (and
        (instance ?CHEW Chewing)
        (instrument ?CHEW ?TOOTH))
    (instance ?TOOTH Tooth))
Mid-level-ontology.kif 13060-13064 If X is an instance of chewing and Y is an instrument for X, then Y is an instance of tooth
(=>
    (instance ?CHEW Chewing)
    (exists (?EAT)
        (and
            (instance ?EAT Eating)
            (subProcess ?CHEW ?EAT))))
Mid-level-ontology.kif 13066-13071 If X is an instance of chewing, then there exists Y such that Y is an instance of eating and X is a subprocess of Y


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