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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mixture

 Sigma KEE - Mixture
Mixture(混合物)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1621-1623
No TPTP formula. May not be expressible in strict first order. Merge.kif 1184-1188
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 202-205
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 240-244
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6706-6706
No TPTP formula. May not be expressible in strict first order. Merge.kif 1182-1182 混合物 是 物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4745-4745 Adderall 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5601-5601 矾土 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21557-21557 胶体 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5895-5895 具体 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8832-8832 洗涤剂 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 1600-1600 面团 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 1139-1139 Exhaust 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5975-5975 肥料 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14736-14736 混合气体 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 6098-6098 宝石 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8910-8910 玻璃 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8897-8897 胶 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4440-4440 砾石 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1249-1249 枪粉 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17982-17982 腐殖质 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 1580-1580 HydraulicFluid 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14709-14709 液体混合物 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8913-8913 金属合金 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 7403-7403 悬浮颗粒 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 309-309 已准备食物 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5836-5836 RingersLactate 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2153-2153 污水 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17921-17921 泥 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4557-4557 植物油 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21445-21445 Vomit 是 混合物 的 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. Medicine.kif 227-227 concentration 的 4 数量 是 混合物 的 instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5859-5859 mixturePartType 的 2 数量 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1042-1042 物质 详尽无遗地 partition 成 純物质 和 混合物

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1248-1262
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. Cars.kif 1219-1228
No TPTP formula. May not be expressible in strict first order. Food.kif 1633-1639
No TPTP formula. May not be expressible in strict first order. Merge.kif 1190-1198

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4570-4585
No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2523-2531
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8812-8820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4528-4543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4549-4564


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