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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lamb
Lamb

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


(documentation Lamb EnglishLanguage "A young Sheep, i.e. a Sheep that is NonFullyFormed.") Mid-level-ontology.kif 20184-20184
(externalImage Lamb "http://articulatesoftware.com/SUMOpictures/animals/ L/ lamb_1.png") pictureList.kif 548-548
(subclass Lamb Sheep) Mid-level-ontology.kif 20183-20183 Lamb est une sous-classe de Sheep

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


(meatOfAnimal LambMeat Lamb) Economy.kif 4955-4955 meatOfAnimal LambMeat and Lamb
(termFormat ChineseLanguage Lamb "羔羊") domainEnglishFormat.kif 33169-33169
(termFormat ChineseTraditionalLanguage Lamb "羔羊") domainEnglishFormat.kif 33168-33168
(termFormat EnglishLanguage Lamb "lamb") domainEnglishFormat.kif 33167-33167

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


(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 20186-20190 Objet est une instance de Lamb objet est une instance de Sheep NonFullyFormed est un attribut de objet

consequent
-------------------------


(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Lambskin)
        (subclass ?O Skin))
    (initialPart ?O Lamb))
Economy.kif 5041-5046
(=>
    (attribute ?S Udhiyah)
    (exists (?UR)
        (and
            (instance ?S Lamb)
            (instance ?UR UdhiyahRitual)
            (patient ?UR ?S))))
ArabicCulture.kif 259-265


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