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

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20179-20180
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 20178-20178	Sheep e' uma sub-classe de DomesticAnimal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20177-20177	Sheep e' uma sub-classe de Ungulado

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6204-6204	industryProductType SheepFarming and Sheep
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4960-4960	meatOfAnimal Mutton and Sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20182-20182	Lamb e' uma sub-classe de 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

Objeto e' uma instancia de Mutton Objeto e' uma &parte de Objeto Objeto e' uma instancia de Sheep a idade de Objeto e' Numero Real MonthDuration(s)
Numero Real e' maior ou igual a 12

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20185-20189	Objeto e' uma instancia de Lamb Objeto e' uma instancia de Sheep NonFullyFormed e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 2906-2914	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de Suet Objeto e' uma sub-classe de Tecido Gorduroso initialPart Objeto and Cattle initialPart Objeto and Sheep
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5051-5056	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de Sheepskin Objeto e' uma sub-classe de Skin initialPart Objeto and Sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5404-5413	Entidade e' uma instancia de Wool Processo Objeto and Objeto Processo e' uma instancia de Fazer Entidade e' o resultado de Processo Objeto e' um recurso para Processo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Hair Objeto e' uma instancia de 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