TreeView Knowledge Base Browser - Spice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Spice

Spice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4361-4363
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1454-1454
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4360-4360	Spice e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4359-4359	Spice e' uma sub-classe de PreparedFood

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4460-4460	BlackPepper e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4459-4459	Cardamom e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4462-4462	Cinnamon e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4456-4456	Clove e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4463-4463	Ginger e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4458-4458	Mace e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4457-4457	Nutmeg e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4461-4461	SpicePepper e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	Food.kif 3520-3520	Turmeric e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4455-4455	Vanilla e' uma sub-classe de Spice
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54618-54618
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54617-54617
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54616-54616

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	Processo e' uma instancia de Colocar Entidade e' um patient de Processo Entidade e' uma instancia de Spice Processo termina em Objeto Objeto e' uma instancia de PreparedFood Processo Atributo Processo e' uma instancia de Mudanca Interna Objeto e' um patient de Processo Atributo e' o resultado de Processo Atributo e' um atributo de Objeto Atributo e' uma instancia de FlavourAttribute Atributo e' uma instancia de Atributo de Cor
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4365-4372	Objeto e' uma instancia de Spice Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de PlantAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4374-4382	Fisico e' uma instancia de Spice Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Colocar Fisico e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de PreparedFood

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