ProcessedMilk - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ProcessedMilk

ProcessedMilk

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2829-2829
No TPTP formula. May not be expressible in strict first order.	Food.kif 2827-2827	ProcessedMilk e' uma sub-classe de Bebida
No TPTP formula. May not be expressible in strict first order.	Food.kif 2828-2828	ProcessedMilk e' uma sub-classe de CowMilk
No TPTP formula. May not be expressible in strict first order.	Food.kif 2826-2826	ProcessedMilk e' uma sub-classe de DairyArtifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10863-10863	Milk e' relacionado internamente por SUMO a ProcessedMilk
No TPTP formula. May not be expressible in strict first order.	Food.kif 1227-1227	MilkFoam e' uma sub-classe de ProcessedMilk
No TPTP formula. May not be expressible in strict first order.	Food.kif 2964-2964	OnePercentMilk e' uma sub-classe de ProcessedMilk
No TPTP formula. May not be expressible in strict first order.	Food.kif 2988-2988	SemiSkimmedMilk e' uma sub-classe de ProcessedMilk
No TPTP formula. May not be expressible in strict first order.	Food.kif 3013-3013	SkimmedMilk e' uma sub-classe de ProcessedMilk
No TPTP formula. May not be expressible in strict first order.	Food.kif 2940-2940	TwoPercentMilk e' uma sub-classe de ProcessedMilk
No TPTP formula. May not be expressible in strict first order.	Food.kif 2845-2845	WholeMilk e' uma sub-classe de ProcessedMilk
No TPTP formula. May not be expressible in strict first order.	Food.kif 2830-2830

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1190-1205	Processo e' uma instancia de FoamingMilk Entidade e' uma instancia de ProcessedMilk Entidade e' um patient de Processo Processo Processo and Entidade Processo e' uma instancia de Aquecer Entidade e' um patient de Processo Processo e' uma instancia de Aerating Entidade e' um patient de Processo Entidade e' o resultado de Processo Entidade e' uma instancia de Bubble tempo de existencia de Processo acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 1218-1225	Processo e' uma instancia de FoamingMilk Entidade e' um patient de Processo Entidade e' uma instancia de ProcessedMilk Processo e' uma instancia de Aerating Entidade e' um patient de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 1207-1216	Processo e' uma instancia de FoamingMilk Fisico e' um patient de Processo Fisico e' uma instancia de ProcessedMilk Processo e' uma instancia de Aquecer Processo e' um sub-processo de Processo a medida de Fisico e' Numero Real CelsiusDegree(s) approximateValue Numero Real and 70.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 2832-2839	Entidade e' uma instancia de ProcessedMilk Processo Entidade Processo e' uma instancia de Processo Intencional Entidade e' uma instancia de CowMilk Entidade e' um patient de Processo Entidade e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 1181-1188

Processo e' uma instancia de FoamingMilk
Entidade EntidadeF Entidade e' uma instancia de ProcessedMilk EntidadeF e' uma instancia de MilkFoam Entidade e' um patient de Processo EntidadeF e' o resultado de Processo

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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