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 8976-8976
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 8975-8975 冰 是 水 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 3068-3068 冰雹 是 冰 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4722-4722 冰山 是 冰 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5935-5935 海冰 是 冰 的 subclass
No TPTP formula. May not be expressible in strict first order. Weather.kif 2991-2991 雪 是 冰 的 subclass
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 8978-8982 客体 是 冰 的 instance 若且唯若 那个 客体 是 水 的 instance 和 固体 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8984-8988

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4742-4749
No TPTP formula. May not be expressible in strict first order. Weather.kif 2778-2788
No TPTP formula. May not be expressible in strict first order. Weather.kif 2510-2520
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25515-25522
No TPTP formula. May not be expressible in strict first order. Weather.kif 1137-1145


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