Milk - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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	相關的內部概念奶 and 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	子類奶 and 液體物質

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2841-2841	子類 CowMilk and 奶
No TPTP formula. May not be expressible in strict first order.	Food.kif 3038-3038	子類 GoatMilk and 奶
No TPTP formula. May not be expressible in strict first order.	Food.kif 3048-3048	子類 SheepMilk and 奶
No TPTP formula. May not be expressible in strict first order.	Food.kif 3052-3052	子類 WaterBuffaloMilk and 奶
No TPTP formula. May not be expressible in strict first order.	Food.kif 3056-3056	子類 YakMilk and 奶
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	例 Object and Cream 部分 Object and Object 例 Object and ButterFat 測量 Object and 測量 RealNumber and 公克例 Object and 奶部分 Object and Object 例 Object and ButterFat 測量 Object and 測量 RealNumber and 公克比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	例 Process and CurdlingMilk 例 Physical and 奶患者 Process and Physical RealNumber Process, entity and entity 測量 Physical and 測量 RealNumber and 酸鹼度例 Process and Decreasing 子過程 Process and Process 患者 Process and RealNumber 持有期間開始何時 Process, 等於 RealNumber and entity and approximateValue entity and 6.5 持有期間結束何時 Process, 等於 RealNumber and entity and approximateValue entity and 4.5
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10870-10877	例 Entity and 奶 Process Object 例 Object and Mammal attribute Object and 女儀器 Process and Object 結果 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3076-3094	例 Process and ChurningButter 例 Entity and 乳膠患者 Process and Entity entity entity 持有期間開始何時 Process and 等於 Entity and entity 例 entity and 奶持有期間結束何時 Process and 等於 Entity and entity 例 entity and 奶油
No TPTP formula. May not be expressible in strict first order.	Food.kif 2822-2824	%每個乳製品是 Object 的 initially part 等於 Object and 奶
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	例 Physical and ChurningButter 有目的 Physical and entity entity and entity 例 entity and 奶例 entity and 旋轉患者 entity and entity 結果 entity and entity 例 entity and 奶油
No TPTP formula. May not be expressible in strict first order.	Food.kif 3115-3122	例 Entity and Cream EntityH Entity 例 EntityH and Separating 患者 EntityH and Entity 例 Entity and 奶結果 EntityH and Cream
No TPTP formula. May not be expressible in strict first order.	Food.kif 3219-3224	例 Process and CurdlingMilk Entity 例 Entity and 奶患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 3157-3164	例 Entity and FermentedMilkProduct Entity Process 例 Entity and 奶例 Process and Fermentation 患者 Process and Entity 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 2936-2938	子類 Object and ButterFat %每個 Object 是奶的 initially part

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