TreeView Knowledge Base Browser - RyeGrain

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RyeGrain

RyeGrain

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4133-4134
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4135-4135	initialPart RyeGrain and RyeGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4132-4132	RyeGrain est une sous-classe de CerealGrain

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6179-6179	industryProductType RyeFarming and RyeGrain
No TPTP formula. May not be expressible in strict first order.	Food.kif 1535-1535	initialPart RyeFlour and RyeGrain
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50715-50715
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50714-50714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50713-50713

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