TreeView Knowledge Base Browser - Sheep

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 20180-20181
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 20179-20179	Sheep is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20178-20178	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 6204-6204	Sheep is an industry product type of sheep farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4960-4960	Mutton is the meat of sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20183-20183	Lamb is a subclass of sheep
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52461-52461
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52460-52460
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52459-52459

antecedent

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

Economy.kif 4962-4968

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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5051-5056	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 5405-5414	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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