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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - productOfAnimal

appearance as argument number 1

(documentation productOfAnimal EnglishLanguage "(productOfAnimal ?OBJCLASS ?ANIMALCLASS) means that every instance of ?OBJCLASS was once part of some instance of ?ANIMALCLASS.") Mid-level-ontology.kif 20166-20168
(domainSubclass productOfAnimal 1 OrganicObject) Mid-level-ontology.kif 20169-20169
(domainSubclass productOfAnimal 2 Animal) Mid-level-ontology.kif 20170-20170
(instance productOfAnimal BinaryPredicate) Mid-level-ontology.kif 20165-20165

appearance as argument number 2

(format ChineseLanguage productOfAnimal "%2 produces %1 ") domainEnglishFormat.kif 4242-4242
(format ChineseTraditionalLanguage productOfAnimal "%2 produces %1 ") domainEnglishFormat.kif 4241-4241
(format EnglishLanguage productOfAnimal "%2 produces %1") domainEnglishFormat.kif 4240-4240
(subrelation meatOfAnimal productOfAnimal) Mid-level-ontology.kif 20172-20172
(termFormat EnglishLanguage productOfAnimal "product of animal") domainEnglishFormat.kif 65923-65923


    (productOfAnimal ?MEATOBJ ?ANIMAL)
    (exists (?TIME ?A ?M)
            (instance ?A ?ANIMAL)
            (instance ?M ?MEATOBJ)
            (during ?TIME
                (WhenFn ?A))
            (part ?M ?A))))
Mid-level-ontology.kif 20181-20188

appearance as argument number 0

(productOfAnimal Sheepskin Sheep) Economy.kif 4485-4485

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