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 21269-21270
(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 21268-21268	Sheep is a subclass of domestic animal
(subclass Sheep HoofedMammal)	Mid-level-ontology.kif 21267-21267	Sheep is a subclass of hoofed mammal

appearance as argument number 2

(industryProductType SheepFarming Sheep)	Economy.kif 6414-6414	Sheep is an industry product type of sheep farming
(meatOfAnimal Mutton Sheep)	Economy.kif 5170-5170	Mutton is the meat of sheep
(subclass Lamb Sheep)	Mid-level-ontology.kif 21272-21272	Lamb is a subclass of sheep
(termFormat ChineseLanguage Sheep "羊")	domainEnglishFormat.kif 52494-52494	Lamb is a subclass of sheep
(termFormat ChineseTraditionalLanguage Sheep "羊")	domainEnglishFormat.kif 52493-52493	Lamb is a subclass of sheep
(termFormat EnglishLanguage Sheep "sheep")	domainEnglishFormat.kif 52492-52492	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 5172-5178

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 21275-21279	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 2906-2914	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of suet and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a cattle or every the other 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 5261-5266	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of sheepskin and another kind of object is a subclass of skin, then every the other 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 5954-5963	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: