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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chewing

Sigma KEE - Chewing
Chewing

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 externalImage Chewing and "http://upload.wikimedia.org/wikipedia/commons/9/94/ Matt_Tong.jpg"
(externalImage Chewing "http://upload.wikimedia.org/wikipedia/commons/9/ 9d/ Lovebird_Chewing_Stick.JPG") pictureList.kif 5911-5911 externalImage Chewing and "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Lovebird_Chewing_Stick.JPG"
(externalImage Chewing "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ Turbo_rozpakowane_1.jpg") pictureList.kif 6246-6246 externalImage Chewing and "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Turbo_rozpakowane_1.jpg"
(subclass Chewing BodyMotion) Mid-level-ontology.kif 9772-9772 Chewing身体运动subclass

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


(termFormat EnglishLanguage Chewing "chewing") domainEnglishFormat.kif 2821-2821 termFormat EnglishLanguage, Chewing and "chewing"

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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