Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Sheep
Sheep(sheep)
more pictures...		Ammotragus, Ammotragus_lervia, Barbary_sheep, Cheviot, Cotswold, Dall's_sheep, Dall_sheep, Exmoor, Hampshire, Hampshire_down, Lincoln, Marco_Polo's_sheep, Marco_Polo_sheep, Ovis_ammon, Ovis_aries, Ovis_canadensis, Ovis_montana_dalli, Ovis_musimon, Ovis_poli, Ovis_vignei, Rambouillet, Rocky_Mountain_bighorn, Rocky_Mountain_sheep, aoudad, argal, argali, arui, audad, baa-lamb, bellwether, bighorn, bighorn_sheep, black_sheep, broadtail, caracul, cimarron, domestic_sheep, genus_Ammotragus, karakul, longwool, maned_sheep, merino, merino_sheep, moufflon, mouflon, mountain_sheep, sheep, urial, white_sheep, wild_sheep

appearance as argument number 1
-------------------------


(subclass Sheep HoofedMammal) Mid-level-ontology.kif 22427-22427 Sheep is a subclass of hoofed mammal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 22428-22428 Sheep is a subclass of domestic animal
(documentation Sheep EnglishLanguage "A domesticated HoofedMammal that is bred for its wool and for its meat (known as mutton).") Mid-level-ontology.kif 22429-22430 Sheep is a subclass of domestic animal
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ af/ Sheep_DSC04001.jpg/ 800px_Sheep_DSC04001.jpg") pictureList-ImageNet.kif 156-156 Sheep is a subclass of domestic animal
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 58/ Sheep_looking.jpg/ 800px_Sheep_looking.jpg") pictureList-ImageNet.kif 157-157 Sheep is a subclass of domestic animal
(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 Sheep is a subclass of domestic animal
(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 Sheep is a subclass of domestic animal
(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 Sheep is a subclass of domestic animal
(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 Sheep is a subclass of domestic animal
(externalImage Sheep "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Flock_of_sheep.jpg") pictureList.kif 165-165 Sheep is a subclass of domestic animal
(externalImage Sheep "http://articulatesoftware.com/SUMOpictures/cartoon/ animals_2/ sheep.png") pictureList.kif 724-724 Sheep is a subclass of domestic animal

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


(subclass Lamb Sheep) Mid-level-ontology.kif 22432-22432 Lamb is a subclass of sheep
(meatOfAnimal Mutton Sheep) Economy.kif 5308-5308 Mutton is the meat of sheep
(industryProductType SheepFarming Sheep) Economy.kif 6627-6627 Sheep is an industry product type of sheep farming
(termFormat EnglishLanguage Sheep "sheep") domainEnglishFormat.kif 52456-52456 Sheep is an industry product type of sheep farming
(termFormat ChineseTraditionalLanguage Sheep "羊") domainEnglishFormat.kif 52457-52457 Sheep is an industry product type of sheep farming
(termFormat ChineseLanguage Sheep "羊") domainEnglishFormat.kif 52458-52458 Sheep is an industry product type of sheep farming

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


(=>
    (and
        (instance ?M Mutton)
        (part ?M ?S)
        (instance ?S Sheep)
        (age ?S
            (MeasureFn ?A MonthDuration)))
    (greaterThanOrEqualTo ?A 12))		 Economy.kif 5310-5316 If X is an instance of mutton, X is a part of Y, Y is an instance of sheep, and the age of Y is Z month duration(s), then Z is greater than or equal to 12

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


(=>
    (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 6524-6533 If X is an instance of wool, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) X is a result of Y (4) Z is a resource for Y (5) Z is a part of W (6) Z is an instance of hair (7) W is an instance of sheep
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 22435-22439 X is an instance of lamb if, only if X is an instance of sheep, and non fully formed is an attribute of X
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))		 Economy.kif 5400-5405 If equal X and Object made from Y, X is a subclass of sheepskin, and Y is a subclass of skin, then every Y is initially part of a sheep
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))		 Food.kif 2935-2943 If equal X and Object made from Y, X is a subclass of suet, and Y is a subclass of fat tissue, then every Y is initially part of a cattle or every Y is initially part of a sheep


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners