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	乳和 ProcessedMilk 是内部相关
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31418-31418	roomTempState 乳 and 液体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10863-10863	乳是液体物质的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2841-2841	CowMilk 是乳的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3038-3038	GoatMilk 是乳的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3048-3048	SheepMilk 是乳的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3052-3052	WaterBuffaloMilk 是乳的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3056-3056	YakMilk 是乳的 subclass
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	如果客体是 Cream 的 instance 和那个客体是另一个客体的 part 和那个另外客体是 ButterFat 的 instance 和那个另外客体的 measure 是实数公克和第三客体是乳的 instance 和那个第三客体是第四客体的 part 和那个第四客体是 ButterFat 的 instance 和那个第四客体的 measure 是另一个实数公克，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	如果过程是 CurdlingMilk 的 instance 和物理是乳的 instance 和那个物理是那个过程的 patient，然后有存在实数，另一个过程,，，实体， and 和另一个实体这样那个物理的 measure 是那个实数酸碱度和那个另外过程是减少的 instance 和那个另外过程%n是那个过程的subProcess 和那个实数是那个另外过程的 patient 和那个实数 equal 那个实体在那个另外过程出现的 time 的开始 holdsDuring 和那个实数 equal 那个另外实体在那个另外过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10870-10877	如果实体是乳的 instance，然后有存在过程和客体这样那个客体是哺乳动物的 instance 和女是那个客体的 attribute 和那个客体是导致那个过程的 instrument 和那个实体是那个过程的 result

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3076-3094	如果过程是 ChurningButter 的 instance 和实体是乳胶的 instance 和那个实体是那个过程的 patient，然后有存在另一个实体和第三实体这样那个实体 equal 那个另外实体和那个另外实体是乳的 instance 在那个过程出现的 time 的开始 holdsDuring 和那个实体 equal 那个第三实体和那个第三实体是黄油的 instance 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 2822-2824	如果 %每个乳制品是有点客体的 initially part ，然后有点客体 equal 乳
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	如果物理是 ChurningButter 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是乳的 instance 和那个另外实体是旋转的 instance 和那个实体是那个另外实体的 patient 和那个第三实体是那个另外实体的 result 和那个第三实体是黄油的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3115-3122	如果实体是 Cream 的 instance，然后有存在那个实体H 和另一个实体这样那个实体H 是分开的 instance 和那个另外实体是那个实体H 的 patient 和那个另外实体是乳的 instance 和 Cream 是那个实体H 的 result
No TPTP formula. May not be expressible in strict first order.	Food.kif 3219-3224	如果过程是 CurdlingMilk 的 instance，然后有存在实体这样那个实体是乳的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Food.kif 3157-3164	如果实体是 FermentedMilkProduct 的 instance，然后有存在另一个实体和过程这样那个另外实体是乳的 instance 和那个过程是 Fermentation 的 instance 和那个另外实体是那个过程的 patient 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Food.kif 2936-2938	如果有点客体是 ButterFat 的 subclass，然后 %每个有点客体是乳的 initially part

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