TreeView Knowledge Base Browser - Milk

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Milk

Sigma KEE - Milk

Milk

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10865-10868
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1186-1186
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10864-10864	Milk e' relacionado internamente por SUMO a ProcessedMilk
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31418-31418	roomTempState Milk and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10863-10863	Milk e' uma sub-classe de LiquidBodySubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2841-2841	CowMilk e' uma sub-classe de Milk
No TPTP formula. May not be expressible in strict first order.	Food.kif 3038-3038	GoatMilk e' uma sub-classe de Milk
No TPTP formula. May not be expressible in strict first order.	Food.kif 3048-3048	SheepMilk e' uma sub-classe de Milk
No TPTP formula. May not be expressible in strict first order.	Food.kif 3052-3052	WaterBuffaloMilk e' uma sub-classe de Milk
No TPTP formula. May not be expressible in strict first order.	Food.kif 3056-3056	YakMilk e' uma sub-classe de Milk
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37781-37781
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37780-37780
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37779-37779

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	Objeto e' uma instancia de Cream Objeto e' uma &parte de Objeto Objeto e' uma instancia de ButterFat a medida de Objeto e' Numero Real Gram(s) Objeto e' uma instancia de Milk Objeto e' uma &parte de Objeto Objeto e' uma instancia de ButterFat a medida de Objeto e' Numero Real Gram(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	Processo e' uma instancia de CurdlingMilk Fisico e' uma instancia de Milk Fisico e' um patient de Processo Numero Real Processo, Entidade and Entidade a medida de Fisico e' Numero Real PHValue(s) Processo e' uma instancia de Diminuir Processo e' um sub-processo de Processo Numero Real e' um patient de Processo Numero Real e' igual a Entidade vale durante o comeco de tempo de existencia de Processo Numero Real e' igual a Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10870-10877	Entidade e' uma instancia de Milk Processo Objeto Objeto e' uma instancia de Mamifero Female e' um atributo de Objeto Objeto e' um instrumento para Processo Entidade e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3076-3094	Processo e' uma instancia de ChurningButter Entidade e' uma instancia de Emulsion Entidade e' um patient de Processo Entidade Entidade Entidade e' igual a Entidade Entidade e' uma instancia de Milk vale durante o comeco de tempo de existencia de Processo Entidade e' igual a Entidade Entidade e' uma instancia de Butter vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 2822-2824	initialPart DairyArtifact and Objeto Objeto e' igual a Milk
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	Fisico e' uma instancia de ChurningButter Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Milk Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Butter
No TPTP formula. May not be expressible in strict first order.	Food.kif 3115-3122	Entidade e' uma instancia de Cream EntidadeH Entidade EntidadeH e' uma instancia de Separar Entidade e' um patient de EntidadeH Entidade e' uma instancia de Milk Cream e' o resultado de EntidadeH
No TPTP formula. May not be expressible in strict first order.	Food.kif 3219-3224	Processo e' uma instancia de CurdlingMilk Entidade Entidade e' uma instancia de Milk Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3157-3164	Entidade e' uma instancia de FermentedMilkProduct Entidade Processo Entidade e' uma instancia de Milk Processo e' uma instancia de Fermentation Entidade e' um patient de Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 2936-2938	Objeto e' uma sub-classe de ButterFat initialPart Objeto and Milk

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