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 SheepDomesticAnimalsubclass では %n
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 20178-20178 Sheep有蹄哺乳動物subclass では %n

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 20183-20183 LambSheepsubclass では %n
(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 オブジェクトLambinstance では %n オブジェクトSheepinstance では %n NonFullyFormed オブジェクトattribute では %n
        (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