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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Substance
Substance(物质)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1587-1590
No TPTP formula. May not be expressible in strict first order. Merge.kif 1045-1051
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 165-169
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 194-199
No TPTP formula. May not be expressible in strict first order. pictureList.kif 917-917
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 1043-1043 物质 详尽无遗地 partition合成物质天然物质
No TPTP formula. May not be expressible in strict first order. Merge.kif 1041-1041 物质自身连接物体subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1227-1227 躯体性物体 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14671-14671 生物活性物质物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14806-14806 身体物质物质subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 2471-2471 化学酸物质subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1281-1281 导体物质物质subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3793-3793 Creatinine物质subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 7110-7110 水晶物质subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3082-3082 DrugCandidate物质subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2664-2664 流出的物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2556-2556 电力物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17862-17862 爆炸性物质物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1693-1693 汽油物质subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4750-4750 阿拉伯树胶物质subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1286-1286 绝缘体物质物质subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 7488-7488 液体滴物质subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 2975-2975 Lubricant物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14311-14311 矿物物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1182-1182 混合物物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1080-1080 天然物质物质subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2762-2762 有毒物质物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8950-8950 粉末物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1084-1084 純物质物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17904-17904 岩石物质subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4158-4158 物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8822-8822 表面活性剂物质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. VirusProteinAndCellPart.kif 255-255 催化剂 的 2 数量 是 物质instance
No TPTP formula. May not be expressible in strict first order. Food.kif 1241-1241 mixtureRatio 的 1 数量 是 物质instance
No TPTP formula. May not be expressible in strict first order. Food.kif 1242-1242 mixtureRatio 的 2 数量 是 物质instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 951-951 的 1 数量 是 物质instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 952-952 的 2 数量 是 物质instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8797-8797 反应 的 2 数量 是 物质instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8804-8804 试剂 的 2 数量 是 物质instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7577-7577 AmountsFn 的 1 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6225-6225 allergic 的 2 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7592-7592 amount 的 1 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 225-225 concentration 的 2 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4286-4286 地下表面类型 的 2 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4279-4279 地面类型 的 2 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1213-1213 ingredient 的 1 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1214-1214 ingredient 的 2 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 978-978 材料 的 1 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5858-5858 mixturePartType 的 1 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31675-31675 roomTempState 的 1 数量 是 物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1243-1243 substanceElement 的 2 数量 是 物质subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7142-7162
No TPTP formula. May not be expressible in strict first order. Merge.kif 1060-1065
No TPTP formula. May not be expressible in strict first order. Geography.kif 7380-7392
No TPTP formula. May not be expressible in strict first order. Geography.kif 7352-7363
No TPTP formula. May not be expressible in strict first order. Merge.kif 17594-17601
No TPTP formula. May not be expressible in strict first order. Merge.kif 1053-1058
No TPTP formula. May not be expressible in strict first order. Merge.kif 17569-17574

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17576-17580
No TPTP formula. May not be expressible in strict first order. Food.kif 3199-3211
No TPTP formula. May not be expressible in strict first order. Geography.kif 7497-7509
No TPTP formula. May not be expressible in strict first order. naics.kif 8465-8488
No TPTP formula. May not be expressible in strict first order. Geography.kif 7380-7392
No TPTP formula. May not be expressible in strict first order. Geography.kif 7352-7363
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. Mid-level-ontology.kif 8848-8857
No TPTP formula. May not be expressible in strict first order. Cars.kif 3051-3060
No TPTP formula. May not be expressible in strict first order. Cars.kif 3606-3622
No TPTP formula. May not be expressible in strict first order. Merge.kif 1231-1239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3262-3273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17538-17549
No TPTP formula. May not be expressible in strict first order. Food.kif 248-258
No TPTP formula. May not be expressible in strict first order. Food.kif 260-266
No TPTP formula. May not be expressible in strict first order. Food.kif 2068-2074
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. Cars.kif 424-432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4549-4564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9546-9557
No TPTP formula. May not be expressible in strict first order. Merge.kif 1072-1078
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4626-4640
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21853-21858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21575-21584


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