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


KB Term:  Term intersection
English Word: 

Sigma KEE - Sheep
Sheep
more pictures...

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


(subclass Sheep HoofedMammal) Mid-level-ontology.kif 22427-22427
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 22428-22428
(documentation Sheep EnglishLanguage "A domesticated HoofedMammal that is bred for its wool and for its meat (known as mutton).") Mid-level-ontology.kif 22429-22430
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ af/ Sheep_DSC04001.jpg/ 800px_Sheep_DSC04001.jpg") pictureList-ImageNet.kif 156-156
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 58/ Sheep_looking.jpg/ 800px_Sheep_looking.jpg") pictureList-ImageNet.kif 157-157
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 47/ Skye_sheep_arjecahn.jpg/ 800px_Skye_sheep_arjecahn.jpg") pictureList-ImageNet.kif 158-158
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cd/ Sheep_and_goats.jpg/ 800px_Sheep_and_goats.jpg") pictureList-ImageNet.kif 160-160
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/en/thumb/4/46/ Sheep_Dog_Show.JPG/ 250px_Sheep_Dog_Show.JPG") pictureList-ImageNet.kif 161-161
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b3/ Cattle_and_sheep.jpg/ 800px_Cattle_and_sheep.jpg") pictureList-ImageNet.kif 162-162
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Flock_of_sheep.jpg") pictureList.kif 165-165
(externalImage Sheep "http://articulatesoftware.com/SUMOpictures/cartoon/ animals_2/ sheep.png") pictureList.kif 724-724

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


(subclass Lamb Sheep) Mid-level-ontology.kif 22432-22432
(meatOfAnimal Mutton Sheep) Economy.kif 5308-5308
(industryProductType SheepFarming Sheep) Economy.kif 6627-6627
(termFormat EnglishLanguage Sheep "sheep") domainEnglishFormat.kif 52456-52456
(termFormat ChineseTraditionalLanguage Sheep "羊") domainEnglishFormat.kif 52457-52457
(termFormat ChineseLanguage Sheep "羊") domainEnglishFormat.kif 52458-52458

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


(=>
    (and
        (instance ?M Mutton)
        (part ?M ?S)
        (instance ?S Sheep)
        (age ?S
            (MeasureFn ?A MonthDuration)))
    (greaterThanOrEqualTo ?A 12))
Economy.kif 5310-5316

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


(=>
    (instance ?W Wool)
    (exists (?M ?H ?S)
        (and
            (instance ?M Making)
            (result ?M ?W)
            (resource ?M ?H)
            (part ?H ?S)
            (instance ?H Hair)
            (instance ?S Sheep))))
Mid-level-ontology.kif 6524-6533
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 22435-22439
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))
Economy.kif 5400-5405
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))
Food.kif 2935-2943


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners