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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - productOfAnimal
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 18124-18126
(domainSubclass productOfAnimal 1 OrganicObject) Mid-level-ontology.kif 18127-18127
(domainSubclass productOfAnimal 2 Animal) Mid-level-ontology.kif 18128-18128
(instance productOfAnimal BinaryPredicate) Mid-level-ontology.kif 18123-18123

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


(format ChineseLanguage productOfAnimal "%2 produces %1 ") domainEnglishFormat.kif 4247-4247
(format ChineseTraditionalLanguage productOfAnimal "%2 produces %1 ") domainEnglishFormat.kif 4246-4246
(format EnglishLanguage productOfAnimal "%2 produces %1") domainEnglishFormat.kif 4245-4245
(subrelation meatOfAnimal productOfAnimal) Mid-level-ontology.kif 18130-18130

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


(=>
    (productOfAnimal ?MEATOBJ ?ANIMAL)
    (exists (?TIME ?A)
        (and
            (instance ?A ?ANIMAL)
            (instance ?M ?MEATOBJ)
            (during ?TIME
                (WhenFn ?A))
            (part ?M ?A))))
Mid-level-ontology.kif 18139-18146

appearance as argument number 0
-------------------------


(productOfAnimal Sheepskin Sheep) Economy.kif 4320-4320


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