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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 20180-20181
(externalImage Sheep " animals_2/ sheep.png") pictureList.kif 724-724
(externalImage Sheep " Flock_of_sheep.jpg") pictureList.kif 165-165
(externalImage Sheep " 4/ 47/ Skye-sheep-arjecahn.jpg/ 800px-Skye-sheep-arjecahn.jpg") pictureList-ImageNet.kif 158-158
(externalImage Sheep " 5/ 58/ Sheep_looking.jpg/ 800px-Sheep_looking.jpg") pictureList-ImageNet.kif 157-157
(externalImage Sheep " a/ af/ Sheep_DSC04001.jpg/ 800px-Sheep_DSC04001.jpg") pictureList-ImageNet.kif 156-156
(externalImage Sheep " b/ b3/ Cattle_and_sheep.jpg/ 800px-Cattle_and_sheep.jpg") pictureList-ImageNet.kif 162-162
(externalImage Sheep " c/ cd/ Sheep_and_goats.jpg/ 800px-Sheep_and_goats.jpg") pictureList-ImageNet.kif 160-160
(externalImage Sheep " Sheep-Dog-Show.JPG/ 250px-Sheep-Dog-Show.JPG") pictureList-ImageNet.kif 161-161
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 20179-20179 家畜subclass
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 20178-20178 有蹄哺乳动物subclass

appearance as argument number 2

(industryProductType SheepFarming Sheep) Economy.kif 6204-6204 养羊industry 产品类别
(meatOfAnimal Mutton Sheep) Economy.kif 4960-4960 羊肉meat
(subclass Lamb Sheep) Mid-level-ontology.kif 20183-20183 羔羊subclass
(termFormat ChineseLanguage Sheep "羊") domainEnglishFormat.kif 52461-52461
(termFormat ChineseTraditionalLanguage Sheep "羊") domainEnglishFormat.kif 52460-52460
(termFormat EnglishLanguage Sheep "sheep") domainEnglishFormat.kif 52459-52459


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


    (instance ?L Lamb)
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 20186-20190 客体羔羊instance 若且唯若 那个 客体instance没有完全形成那个 客体attribute
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))
Food.kif 2906-2914
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))
Economy.kif 5051-5056
    (instance ?W Wool)
    (exists (?M ?H ?S)
            (instance ?M Making)
            (result ?M ?W)
            (resource ?M ?H)
            (part ?H ?S)
            (instance ?H Hair)
            (instance ?S Sheep))))
Mid-level-ontology.kif 5405-5414

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