Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElementalSubstance

 Sigma KEE - ElementalSubstance
ElementalSubstance(元素物质)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1599-1602
No TPTP formula. May not be expressible in strict first order. Merge.kif 1095-1099
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 178-181
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 211-215
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1746-1746
No TPTP formula. May not be expressible in strict first order. Merge.kif 1093-1093 元素物质 是 純物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28795-28795 锕 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27461-27461 铝 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28901-28901 銤 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28095-28095 锑 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27544-27544 氩 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27792-27792 砷 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28728-28728 砹 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1108-1108 原子 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28189-28189 钡 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28935-28935 锫 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27301-27301 铍 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28693-28693 铋 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27317-27317 硼 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27823-27823 溴 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28047-28047 镉 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28163-28163 铯 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27575-27575 钙 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28952-28952 锎 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27336-27336 碳 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28225-28225 铈 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27527-27527 氯 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27649-27649 铬 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27695-27695 钴 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27726-27726 铜 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28918-28918 锔 是 元素物质 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13794-13794 原子数 的 1 数量 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 1774-1774 molecularRatio 的 1 数量 是 元素物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1085-1085 純物质 详尽无遗地 partition 成 复合物质 和 元素物质

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12569-12578
No TPTP formula. May not be expressible in strict first order. Merge.kif 12585-12591
No TPTP formula. May not be expressible in strict first order. Merge.kif 12549-12555

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12557-12567


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