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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sheep

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 17865-17866
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Flock_of_sheep.jpg") pictureList-ImageNet.kif 160-160
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 47/ Skye-sheep-arjecahn.jpg/ 800px-Skye-sheep-arjecahn.jpg") pictureList-ImageNet.kif 159-159
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 58/ Sheep_looking.jpg/ 800px-Sheep_looking.jpg") pictureList-ImageNet.kif 158-158
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ af/ Sheep_DSC04001.jpg/ 800px-Sheep_DSC04001.jpg") pictureList-ImageNet.kif 157-157
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b3/ Cattle_and_sheep.jpg/ 800px-Cattle_and_sheep.jpg") pictureList-ImageNet.kif 163-163
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cd/ Sheep_and_goats.jpg/ 800px-Sheep_and_goats.jpg") pictureList-ImageNet.kif 161-161
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/en/thumb/4/46/ Sheep-Dog-Show.JPG/ 250px-Sheep-Dog-Show.JPG") pictureList-ImageNet.kif 162-162
(externalImage Sheep "http://www.adampease.org/Articulate/SUMOpictures/pictures/ cartoon/ animals_2/ sheep.png") pictureList.kif 724-724
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 17864-17864
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 17863-17863

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


(industryProductType SheepFarming Sheep) Economy.kif 5084-5084
(productOfAnimal Sheepskin Sheep) Economy.kif 4320-4320
(subclass Lamb Sheep) Mid-level-ontology.kif 17868-17868
(termFormat EnglishLanguage Sheep "sheep") domainEnglishFormat.kif 9167-9167

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


(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 17871-17875
(=>
    (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 5650-5659


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners