Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 22454-22454 Sheep is a subclass of hoofed mammal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 22455-22455 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 22456-22457 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
-------------------------


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

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


(=>
    (and
        (instance ?M Mutton)
        (part ?M ?S)
        (instance ?S Sheep)
        (age ?S
            (MeasureFn ?A MonthDuration)))
    (greaterThanOrEqualTo ?A 12))		 Economy.kif 5297-5303 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
-------------------------


(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))		 Economy.kif 5387-5392 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 2913-2921 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
(=>
    (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 6361-6370 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 22462-22466 X is an instance of lamb if, only if X is an instance of sheep, and non fully formed is an attribute of X


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