TreeView Knowledge Base Browser - CerealGrain

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CerealGrain

CerealGrain

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4028-4029
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 890-890
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4027-4027	CerealGrain e' uma sub-classe de Grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4026-4026	CerealGrain e' uma sub-classe de Seed

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6156-6156	industryProductType CerealGrainFarming and CerealGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4126-4126	BarleyGrain e' uma sub-classe de CerealGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4043-4043	MaizeGrain e' uma sub-classe de CerealGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4142-4142	MilletGrain e' uma sub-classe de CerealGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4121-4121	OatGrain e' uma sub-classe de CerealGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4047-4047	RiceGrain e' uma sub-classe de CerealGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4132-4132	RyeGrain e' uma sub-classe de CerealGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4137-4137	SorghumGrain e' uma sub-classe de CerealGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4051-4051	WheatGrain e' uma sub-classe de CerealGrain
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13938-13938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13937-13937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13936-13936

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4166-4172	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de Malt Objeto e' uma sub-classe de CerealGrain initialPart Objeto and CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4035-4040	Entidade e' uma instancia de DeadFn CerealGrain Objeto auto-conectado Entidade e' uma instancia de Objeto auto-conectado Objeto auto-conectado e' igual a FoodForFn Animal

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1476-1483	Entidade e' uma instancia de Flour Processo Entidade Processo e' uma instancia de Grinding Entidade e' um patient de Processo Entidade e' uma instancia de CerealGrain Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3595-3602	Entidade e' uma instancia de Vodka Processo Objeto Processo e' uma instancia de Distilling Objeto e' uma instancia de CerealGrain Objeto e' um recurso para Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3608-3615	Entidade e' uma instancia de Whiskey Processo Objeto Processo e' uma instancia de Distilling Objeto e' uma instancia de CerealGrain Objeto e' um recurso para Processo Entidade e' o resultado de Processo

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