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 20211-20211
(externalImage Lamb "http://articulatesoftware.com/SUMOpictures/animals/ L/ lamb_1.png") pictureList.kif 548-548
(subclass Lamb Sheep) Mid-level-ontology.kif 20210-20210 羔羊subclass

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


(meatOfAnimal LambMeat Lamb) Economy.kif 4955-4955 羔羊肉羔羊meat
(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 20213-20217 客体羔羊instance 若且唯若 那个 客体instance没有完全形成那个 客体attribute

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