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 18119-18121
(domainSubclass productOfAnimal 1 OrganicObject) Mid-level-ontology.kif 18122-18122 The number 1 argument of productOfAnimal is a subclass of organic object
(domainSubclass productOfAnimal 2 Animal) Mid-level-ontology.kif 18123-18123 The number 2 argument of productOfAnimal is a subclass of animal
(instance productOfAnimal BinaryPredicate) Mid-level-ontology.kif 18118-18118 productOfAnimal is an instance of binary predicate

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


(format ChineseLanguage productOfAnimal "%2 produces %1 ") domainEnglishFormat.kif 4243-4243
(format ChineseTraditionalLanguage productOfAnimal "%2 produces %1 ") domainEnglishFormat.kif 4242-4242
(format EnglishLanguage productOfAnimal "%2 produces %1") domainEnglishFormat.kif 4241-4241
(subrelation meatOfAnimal productOfAnimal) Mid-level-ontology.kif 18125-18125 meat of animal is a subrelation of productOfAnimal

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 18134-18141

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


(productOfAnimal Sheepskin Sheep) Economy.kif 4320-4320 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