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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(documentation Chewing EnglishLanguage "Breaking up or mashing Food with one's teeth.") Mid-level-ontology.kif 9773-9773
(externalImage Chewing "http://upload.wikimedia.org/wikipedia/commons/9/ 94/ Matt_Tong.jpg") pictureList.kif 6247-6247 "http://upload.wikimedia.org/wikipedia/commons/9/94/ Matt_Tong.jpg" is a URL depicting chewing
(externalImage Chewing "http://upload.wikimedia.org/wikipedia/commons/9/ 9d/ Lovebird_Chewing_Stick.JPG") pictureList.kif 5911-5911 "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Lovebird_Chewing_Stick.JPG" is a URL depicting chewing
(externalImage Chewing "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Turbo_rozpakowane_1.jpg") pictureList.kif 6246-6246 "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Turbo_rozpakowane_1.jpg" is a URL depicting chewing
(subclass Chewing BodyMotion) Mid-level-ontology.kif 9772-9772 Chewing is a subclass of body motion

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


(termFormat EnglishLanguage Chewing "chewing") domainEnglishFormat.kif 2821-2821 "chewing" is the printable form of chewing in english language

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


(=>
    (and
        (instance ?CHEW Chewing)
        (instrument ?CHEW ?TOOTH))
    (instance ?TOOTH Tooth))
Mid-level-ontology.kif 9781-9785
(=>
    (and
        (instance ?CHEW Chewing)
        (resource ?CHEW ?FOOD))
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 9775-9779
(=>
    (instance ?CHEW Chewing)
    (exists (?EAT)
        (and
            (instance ?EAT Eating)
            (subProcess ?CHEW ?EAT))))
Mid-level-ontology.kif 9787-9792


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners