TreeView Knowledge Base Browser - MaizeGrain

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MaizeGrain

MaizeGrain

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4044-4045
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1443-1443
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4119-4119	initialPart MaizeGrain and MaizeGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4043-4043	MaizeGrain e' uma sub-classe de CerealGrain

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6162-6162	industryProductType CornFarming and MaizeGrain
No TPTP formula. May not be expressible in strict first order.	Food.kif 1547-1547	initialPart CornFlour and MaizeGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4118-4118	MaizeGrain se chama nome "corn"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4117-4117	MaizeGrain se chama nome "maize"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35687-35687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35686-35686
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35685-35685

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