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


KB Term:  Term intersection
English Word: 

Sigma KEE - Feeding
Feeding(feeding)
feed, give, malnourish, nourish, nurture, range, sustain, undernourish

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


(subclass Feeding Giving) Mid-level-ontology.kif 12970-12970 Feeding is a subclass of giving
(documentation Feeding EnglishLanguage "Giving Food to a Human or Animal.") Mid-level-ontology.kif 12971-12971 Feeding is a subclass of giving
(externalImage Feeding "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Python_sebae.jpg") pictureList.kif 6007-6007 Feeding is a subclass of giving

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


(termFormat EnglishLanguage Feeding "feeding") domainEnglishFormat.kif 23476-23476
(termFormat ChineseTraditionalLanguage Feeding "饋送") domainEnglishFormat.kif 23477-23477
(termFormat ChineseLanguage Feeding "馈送") domainEnglishFormat.kif 23478-23478

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


(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))
Mid-level-ontology.kif 12973-12977 If X is an instance of feeding and Y is a patient of X, then Y is an instance of food for animal
(=>
    (and
        (instance ?F Feeding)
        (destination ?F ?A))
    (instance ?A Animal))
Mid-level-ontology.kif 12979-12983 If X is an instance of feeding and X ends up at Y, then Y is an instance of animal


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