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 19680-19682
(domainSubclass productOfAnimal 1 OrganicObject) Mid-level-ontology.kif 19683-19683 The number 1 argument of productOfAnimal is a subclass of organic object
(domainSubclass productOfAnimal 2 Animal) Mid-level-ontology.kif 19684-19684 The number 2 argument of productOfAnimal is a subclass of animal
(instance productOfAnimal BinaryPredicate) Mid-level-ontology.kif 19679-19679 productOfAnimal is an instance of binary predicate

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 19686-19686 meat of animal is a subrelation of productOfAnimal

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


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

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


(productOfAnimal Sheepskin Sheep) Economy.kif 4473-4473 Sheep produces sheepskin


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