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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CompoundSubstance
CompoundSubstance(复合物质)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1617-1620
No TPTP formula. May not be expressible in strict first order. Merge.kif 1174-1180
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 197-201
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 233-239
No TPTP formula. May not be expressible in strict first order. Merge.kif 1173-1173 复合物质 是 純物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2773-2773 臭氧盾 是 复合物质 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2429-2429 永久冻土 是 复合物质 的 instance
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. Economy.kif 5610-5610 矾土 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21729-21729 原子团 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 1996-1996 重晶石 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14721-14721 碳水化物 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3409-3409 CarbonDioxide 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5921-5921 水泥 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8720-8720 化学酸 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 445-445 化学剂 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8737-8737 化学基地 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5816-5816 化学产品 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8741-8741 盐 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 1794-1794 Chlorofluorocarbon 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2013-2013 铬铁矿 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6473-6473 共轭物质 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1468-1468 芋螺毒素 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2639-2639 DDT 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 81-81 非法药物 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5621-5621 铁矿 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15686-15686 分子 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2034-2034 天然气 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 7201-7201 一氧化氮 是 复合物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 7226-7226 二氧化氮 是 复合物质 的 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. Mid-level-ontology.kif 6494-6494 共轭 的 1 数量 是 复合物质 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6495-6495 共轭 的 2 数量 是 复合物质 的 instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1776-1776 molecularRatio 的 3 数量 是 复合物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1778-1792
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
No TPTP formula. May not be expressible in strict first order. Merge.kif 12557-12567

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6477-6487 实体 是 共轭物质 的 instance 若且唯若 有存在 客体， 另一个 客体， and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
No TPTP formula. May not be expressible in strict first order. Merge.kif 12569-12578


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