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 20207-20208
(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 20206-20206 Sheep è una sottoclasse di DomesticAnimal
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 20205-20205 Sheep è una sottoclasse di MammiferoUngulato

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


(industryProductType SheepFarming Sheep) Economy.kif 6204-6204 industryProductType SheepFarming and Sheep
(meatOfAnimal Mutton Sheep) Economy.kif 4960-4960 meatOfAnimal Mutton and Sheep
(subclass Lamb Sheep) Mid-level-ontology.kif 20210-20210 Lamb è una sottoclasse di Sheep
(termFormat ChineseLanguage Sheep "羊") domainEnglishFormat.kif 52463-52463
(termFormat ChineseTraditionalLanguage Sheep "羊") domainEnglishFormat.kif 52462-52462
(termFormat EnglishLanguage Sheep "sheep") domainEnglishFormat.kif 52461-52461

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


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

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


(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 20213-20217 Oggetto è un' istanza di Lamb Oggetto è un' istanza di Sheep attribute Oggetto and NonFullyFormed
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))
Food.kif 2906-2914
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))
Economy.kif 5051-5056
(=>
    (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 5399-5408


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