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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PureSubstance

 Sigma KEE - PureSubstance
PureSubstance(純物质)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1595-1598
No TPTP formula. May not be expressible in strict first order. Merge.kif 1087-1091
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 174-177
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 206-210
No TPTP formula. May not be expressible in strict first order. pictureList.kif 910-910
No TPTP formula. May not be expressible in strict first order. Merge.kif 1085-1085 純物质 详尽无遗地 partition 成 复合物质 和 元素物质
No TPTP formula. May not be expressible in strict first order. Merge.kif 1084-1084 純物质 是 物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1042-1042 物质 详尽无遗地 partition 成 純物质 和 混合物
No TPTP formula. May not be expressible in strict first order. Merge.kif 1173-1173 复合物质 是 純物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2647-2647 落叶 是 純物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1093-1093 元素物质 是 純物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2735-2735 温室气体 是 純物质 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 513-513 亲水性脂质头 是 純物质 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 524-524 疏水脂质尾 是 純物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21692-21692 离子 是 純物质 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 818-818
No TPTP formula. May not be expressible in strict first order. english_format.kif 838-838
No TPTP formula. May not be expressible in strict first order. french_format.kif 494-494
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 27-27
No TPTP formula. May not be expressible in strict first order. terms-it.txt 30-30
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2179-2179
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 446-446
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 31-31
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 61-61
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 515-515
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 31-31

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21735-21735 电子数 的 1 数量 是 純物质 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21710-21710 质子数 的 1 数量 是 純物质 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13839-13839 沸点 的 1 数量 是 純物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13903-13903 熔点 的 1 数量 是 純物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13844-13853
No TPTP formula. May not be expressible in strict first order. Merge.kif 13855-13864
No TPTP formula. May not be expressible in strict first order. Merge.kif 13866-13875

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1200-1205
No TPTP formula. May not be expressible in strict first order. naics.kif 3125-3141
No TPTP formula. May not be expressible in strict first order. naics.kif 631-648
No TPTP formula. May not be expressible in strict first order. naics.kif 3690-3708
No TPTP formula. May not be expressible in strict first order. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Merge.kif 12560-12566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19684-19689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19629-19639
No TPTP formula. May not be expressible in strict first order. Merge.kif 1190-1198


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