Sheep - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21814-21815
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 724-724
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 165-165
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 158-158
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 157-157
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 156-156
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 162-162
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 160-160
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 161-161
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21813-21813	Sheep is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21812-21812	Sheep is a subclass of hoofed mammal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6602-6602	Sheep is an industry product type of sheep farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5300-5300	Mutton is the meat of sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21817-21817	Lamb is a subclass of sheep
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52494-52494	Lamb is a subclass of sheep
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52493-52493	Lamb is a subclass of sheep
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52492-52492	Lamb is a subclass of sheep

antecedent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 5302-5308

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21820-21824	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 2913-2921	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5392-5397	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6361-6370	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