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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Sheep
Sheep
more pictures...

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


(documentation Sheep EnglishLanguage "A domesticated HoofedMammal that is bred for its wool and for its meat (known as mutton).") Mid-level-ontology.kif 21797-21798
(externalImage Sheep "http://articulatesoftware.com/SUMOpictures/cartoon/ animals_2/ sheep.png") pictureList.kif 724-724
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Flock_of_sheep.jpg") pictureList.kif 165-165
(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/ 5/ 58/ Sheep_looking.jpg/ 800px_Sheep_looking.jpg") pictureList-ImageNet.kif 157-157
(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/ b/ b3/ Cattle_and_sheep.jpg/ 800px_Cattle_and_sheep.jpg") pictureList-ImageNet.kif 162-162
(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
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 21796-21796 Sheep est une sous-classe de DomesticAnimal
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 21795-21795 Sheep est une sous-classe de ongul�

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


(industryProductType SheepFarming Sheep) Economy.kif 6602-6602 industryProductType SheepFarming and Sheep
(meatOfAnimal Mutton Sheep) Economy.kif 5300-5300 meatOfAnimal Mutton and Sheep
(subclass Lamb Sheep) Mid-level-ontology.kif 21800-21800 Lamb est une sous-classe de Sheep
(termFormat ChineseLanguage Sheep "羊") domainEnglishFormat.kif 52465-52465 Lamb est une sous-classe de Sheep
(termFormat ChineseTraditionalLanguage Sheep "羊") domainEnglishFormat.kif 52464-52464 Lamb est une sous-classe de Sheep
(termFormat EnglishLanguage Sheep "sheep") domainEnglishFormat.kif 52463-52463 Lamb est une sous-classe de Sheep

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


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

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


(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 21803-21807 Objet est une instance de Lamb objet est une instance de Sheep NonFullyFormed est un attribut de objet
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))
Food.kif 2913-2921
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))
Economy.kif 5392-5397
(=>
    (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 6342-6351


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