Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation Sheep EnglishLanguage "A domesticated HoofedMammal that is bred for its wool and for its meat (known as mutton).") Mid-level-ontology.kif 20180-20181
(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 20179-20179 Sheep is a subclass of domestic animal
(subclass Sheep HoofedMammal) Mid-level-ontology.kif 20178-20178 Sheep is a subclass of hoofed mammal

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


(industryProductType SheepFarming Sheep) Economy.kif 6204-6204 Sheep is an industry product type of sheep farming
(meatOfAnimal Mutton Sheep) Economy.kif 4960-4960 Mutton is the meat of sheep
(subclass Lamb Sheep) Mid-level-ontology.kif 20183-20183 Lamb is a subclass of sheep
(termFormat ChineseLanguage Sheep "羊") domainEnglishFormat.kif 52461-52461
(termFormat ChineseTraditionalLanguage Sheep "羊") domainEnglishFormat.kif 52460-52460
(termFormat EnglishLanguage Sheep "sheep") domainEnglishFormat.kif 52459-52459

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


(=>
    (and
        (instance ?M Mutton)
        (part ?M ?S)
        (instance ?S Sheep)
        (age ?S
            (MeasureFn ?A MonthDuration)))
    (greaterThanOrEqualTo ?A 12))
Economy.kif 4962-4968

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


(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 20186-20190 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
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))
Economy.kif 5051-5056
(=>
    (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 5405-5414


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