Sheep - Sigma Knowledge base Browser

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 21788-21789
(externalImage Sheep "http://articulatesoftware.com/SUMOpictures/cartoon/ animals_2/ sheep.png")	pictureList.kif 724-724
(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
(subclass Sheep DomesticAnimal)	Mid-level-ontology.kif 21787-21787	Sheep is a subclass of domestic animal
(subclass Sheep HoofedMammal)	Mid-level-ontology.kif 21786-21786	Sheep is a subclass of hoofed mammal

appearance as argument number 2

(industryProductType SheepFarming Sheep)	Economy.kif 6597-6597	Sheep is an industry product type of sheep farming
(meatOfAnimal Mutton Sheep)	Economy.kif 5295-5295	Mutton is the meat of sheep
(subclass Lamb Sheep)	Mid-level-ontology.kif 21791-21791	Lamb is a subclass of sheep
(termFormat ChineseLanguage Sheep "羊")	domainEnglishFormat.kif 52464-52464	Lamb is a subclass of sheep
(termFormat ChineseTraditionalLanguage Sheep "羊")	domainEnglishFormat.kif 52463-52463	Lamb is a subclass of sheep
(termFormat EnglishLanguage Sheep "sheep")	domainEnglishFormat.kif 52462-52462	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 an object is an instance of mutton and the object is a part of another object and the other object is an instance of sheep and the age of the other object is a real number month duration(s),
then the real number is greater than or equal to 12

consequent

(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 21794-21798	An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object
(=> (and (equal ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep)))	Food.kif 2913-2921	If equal an integer and Object made from a kind of object and the integer is a subclass of suet and a kind of object is a subclass of fat tissue, then every the kind of object is initially part of a cattle or every the kind of object is initially part of a sheep
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep))	Economy.kif 5387-5392	If equal an integer and Object made from a kind of object and the integer is a subclass of sheepskin and a kind of object is a subclass of skin, then every the kind of object 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 6338-6347	If an entity is an instance of wool, then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the object is an instance of hair and the other object is an instance of 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: