Colloid - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Colloid

Colloid(膠體)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21553-21555
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21549-21552
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31586-31586	roomTempState 膠體 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21557-21557	子類膠體 and Mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7543-7543	子類 Aerosal and 膠體
No TPTP formula. May not be expressible in strict first order.	Food.kif 390-390	子類 Beverage and 膠體
No TPTP formula. May not be expressible in strict first order.	Food.kif 3167-3167	子類 Buttermilk and 膠體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21572-21572	子類乳膠 and 膠體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21614-21614	子類凝膠 and 膠體
No TPTP formula. May not be expressible in strict first order.	Food.kif 1749-1749	子類 Jam and 膠體
No TPTP formula. May not be expressible in strict first order.	Food.kif 2595-2595	子類 Juice and 膠體
No TPTP formula. May not be expressible in strict first order.	Food.kif 2062-2062	子類 Sauce and 膠體
No TPTP formula. May not be expressible in strict first order.	Food.kif 3432-3432	子類 Soda and 膠體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21626-21626	子類溶膠 and 膠體
No TPTP formula. May not be expressible in strict first order.	Food.kif 3565-3565	子類 Vinegar and 膠體
No TPTP formula. May not be expressible in strict first order.	Food.kif 3145-3145	子類 Whey and 膠體
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15632-15632
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15631-15631
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15630-15630

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7545-7554	例 Object and 膠體部分 Object and Object attribute Object and 固體 attribute Object and 液體例 Object and 空氣部分 Object and Object 例 Object and Aerosal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	例 Process and Curdling 患者 Process and Substance 例 Substance and 膠體 Process Substance 例 Process and Separating 子過程 Process and Process 患者 Process and Substance 結果 Process and Substance 片 Substance and Substance 例 Substance and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21616-21622	例 Object and 膠體 attribute Object and 固體 attribute Object and 流體等於 Object and Entity 例 Entity and 凝膠
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21559-21568	例 Object and 膠體 SelfConnectedObject RealNumber 部分 SelfConnectedObject and Object attribute SelfConnectedObject and Insoluble SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Nanometer 比較多 977.0 and RealNumber 比較多 RealNumber and 0.95

consequent

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

Food.kif 3186-3197

例 Process and Curdling
Entity 患者 Process and Entity 持有期間開始何時 Process and 例 Entity and 膠體持有期間結束何時 Process and 例 Entity and 膠體

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