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 19507-19508
(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
(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 19506-19506
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 19505-19505

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


(industryProductType SheepFarming Sheep) Economy.kif 5245-5245
(productOfAnimal Sheepskin Sheep) Economy.kif 4473-4473
(subclass Lamb Sheep) Mid-level-ontology.kif 19510-19510
(termFormat ChineseLanguage Sheep "羊") domainEnglishFormat.kif 52444-52444
(termFormat ChineseTraditionalLanguage Sheep "羊") domainEnglishFormat.kif 52443-52443
(termFormat EnglishLanguage Sheep "sheep") domainEnglishFormat.kif 52442-52442

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


(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 19513-19517
(=>
    (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 5097-5106


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 3.0 is open source software produced by Articulate Software and its partners