TreeView Knowledge Base Browser - Ice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Ice

Sigma KEE - Ice

Ice(冰)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8977-8977
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2232-2232
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1812-1812
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2233-2233
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1144-1144
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8976-8976	子類冰 and Water

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3072-3072	子類 Hailstone and 冰
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4722-4722	子類冰山 and 冰
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5935-5935	子類海冰 and 冰
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2995-2995	子類 Snow and 冰
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29115-29115
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29114-29114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29113-29113

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8979-8983	例 Object and 冰例 Object and Water attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8985-8989	例 Physical and 冰測量 Physical and 測量 RealNumber and 攝氏度小於或等於 RealNumber and 0.0

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4742-4749	例 Object and 冰山 Object Object 例 Object and 冰 Object 是 Object 的 most 例 Object and 水體 covers Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2782-2792	例 Process and Frosting Object Object 例 Object and 冰 attribute Object and MonoCrystalline 患者 Process and Object 例 Object and Object attribute Object and 固體目的地 Process and Object 空間的符合 Process and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2514-2524	例 Process and 刨冰 Object Object 例 Object and 冰 attribute Object and PolyCrystalline 患者 Process and Object 例 Object and Object attribute Object and 固體目的地 Process and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25516-25523	例 Physical and IceMachine 有目的 Physical and entity entity 儀器 entity and Physical 結果 entity and entity 例 entity and 冰
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1141-1149	例 Transfer and 下雪 Collection Object 例 Collection and Collection 例 Object and 冰 attribute Object and MonoCrystalline 會員 Object and Collection objectTransferred Transfer and Collection

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