Substance - Sigma Knowledge base Browser

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	劃分 Substance, PureSubstance and Mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1043-1043	劃分 Substance, 合成物質 and 天然物質
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1041-1041	子類 Substance and SelfConnectedObject

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1227-1227	不相交的 CorpuscularObject and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14671-14671	子類 BiologicallyActiveSubstance and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14806-14806	子類 BodySubstance and Substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2471-2471	子類化學酸 and Substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1281-1281	子類導體物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3793-3793	子類 Creatinine and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7110-7110	子類 Crystal and Substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3082-3082	子類 DrugCandidate and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2664-2664	子類流出的 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2556-2556	子類電力 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17862-17862	子類爆炸性物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1693-1693	子類汽油 and Substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4750-4750	子類阿拉伯樹膠 and Substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1286-1286	子類絕緣體物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7488-7488	子類 LiquidDrop and Substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2975-2975	子類 Lubricant and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14311-14311	子類 Mineral and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1182-1182	子類 Mixture and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1080-1080	子類天然物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2762-2762	子類有毒物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8950-8950	子類粉末 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1084-1084	子類 PureSubstance and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17904-17904	子類岩石 and Substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4158-4158	子類糖 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8822-8822	子類表面活性劑 and Substance

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 and Substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1241-1241	域 mixtureRatio, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1242-1242	域 mixtureRatio, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 951-951	域片, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 952-952	域片, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8797-8797	域反應, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8804-8804	域試劑, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7577-7577	域子類 AmountsFn, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6225-6225	域子類 allergic, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7592-7592	域子類 amount, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 225-225	域子類 concentration, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4286-4286	域子類地下表面類型, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4279-4279	域子類地面類型, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1213-1213	域子類 ingredient, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1214-1214	域子類 ingredient, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 978-978	域子類材料, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5858-5858	域子類 mixturePartType, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31675-31675	域子類 roomTempState, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1243-1243	域子類 substanceElement, 2 and Substance

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	例 Object and Crystal attribute Object and MonoCrystalline 例 SelfConnectedObject and Substance attribute SelfConnectedObject and 固體 attribute SelfConnectedObject and PolyCrystalline 例 SelfConnectedObject and Substance 表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject ObjectLNT Integer and Object 例 ObjectLNT and Collection Integer 是 ObjectLNT 的 member 計數大於或等於 Integer and 4 會員 Object and ObjectLNT 部分 Object and SelfConnectedObject 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1060-1065	例 Substance and Substance attribute Substance and Attribute 片 Substance and Substance attribute Substance and Attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7380-7392	例 Object and Substance attribute Object and Insoluble 模態屬性 entity entity 例 entity and Substance 例 entity and Solution 片 Object and entity 片 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7352-7363	例 Object and Substance attribute Object and Soluble 模態屬性 entity entity 例 entity and Substance 例 entity and Solution 片 Object and entity 片 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17594-17601	例 Object and Substance attribute Object and 加油站 attribute Object and 液體 attribute Object and 等離子體 attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1053-1058	子類 Class and Substance 例 Substance and Class 片 Substance and Substance 例 Substance and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17569-17574	例 Object and Substance Attribute 例 Attribute and PhysicalState attribute Object and Attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17576-17580	例 Attribute and PhysicalState attribute Object and Attribute 例 Object and Substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	例 Process and Curdling 患者 Process and Substance 例 Substance and 膠體 Process Substance 例 Process and Separating 子過程 Process and Process 患者 Process and Substance 結果 Process and Substance 片 Substance and Substance 例 Substance and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	例 SelfConnectedObject and LiquidDrop 表面 SelfConnectedObject and SelfConnectedObject 模態屬性 SelfConnectedObjectS entity 例 entity and Substance attribute entity and 液體等於 SelfConnectedObject and entity 表面 SelfConnectedObjectS and entity 空間的符合 SelfConnectedObject and SelfConnectedObjectS and 較不可能
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	例 Collection and Organization attribute Collection and 管道運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity, entity and CognitiveAgentIPE 例 entity and Transportation 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Substance 擁有 Collection and entity 儀器 entity and CognitiveAgentIPE 例 CognitiveAgentIPE and 管道, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7380-7392	例 Object and Substance attribute Object and Insoluble 模態屬性 entity entity 例 entity and Substance 例 entity and Solution 片 Object and entity 片 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7352-7363	例 Object and Substance attribute Object and Soluble 模態屬性 entity entity 例 entity and Substance 例 entity and Solution 片 Object and entity 片 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	例 Physical and 濾盆有目的 Physical and entity entity, entity and entity 例 entity and Mixture 例 entity and Substance 部分 entity and entity attribute entity and 液體例 entity and Removing 患者 entity and entity 例 entity and Substance 部分 entity and entity attribute entity and 固體結果 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8848-8857	例 Physical and 洗滌劑有目的 Physical and entity entity, entity and entity 例 entity and Removing 例 entity and Substance 患者 entity and entity 起源 entity and entity 表面 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3051-3060	例 Physical and Hydrometer 有目的 Physical and entity entity 例 entity and Measuring 例 entity and Substance attribute entity and 液體患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3606-3622	例 Physical and Inflating Object Object, RealNumber, RealNumber, Class and Entity 例 Object and Class 例 Object and Class 例 Class and Substance attribute Object and 加油站 attribute Object and 加油站例 Entity and UnitOfVolume 持有期間不久的過去何時 Physical and 測量 Object and 測量 RealNumber and Entity 持有期間眼前的未來何時 Physical and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	例 CorpuscularObject and CorpuscularObject Substance Substance 子類 Substance and Substance 子類 Substance and Substance 材料 Substance and CorpuscularObject 材料 Substance and CorpuscularObject 等於 Substance and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3262-3273	例 Physical and 繪畫裝置有目的 Physical and entity entity, entity and entity 例 entity and Substance 例 entity and Covering 例 entity and Object 表面 entity and entity agent entity and Physical 儀器 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17538-17549	例 Process and 澆注 Object Object and Entity 起源 Process and Object 目的地 Process and Entity 例 Object and 容器例 Entity and 容器等於 Object and Entity 患者 Process and Object attribute Object and 液體例 Object and Substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	例 Entity and PurifiedWater Process Object and Object 例 Process and Removing 起源 Process and Object 例 Object and Water 患者 Process and Object 例 Object and Substance 部分 Object and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 260-266	例 Object and PurifiedWater Object 部分 Object and Object 例 Object and Substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 2068-2074	例 Object and Sauce Object 例 Object and Substance 部分 Object and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4528-4543	例 Physical and 筲箕有目的 Physical and entity entity, PhysicalUB, entity and entity 例 entity and Removing 例 entity and Mixture 例 PhysicalUB and Substance 部分 PhysicalUB and entity 患者 entity and PhysicalUB 部分 entity and Physical 儀器 entity and entity 例 entity and Human agent entity and entity 慾望 entity and PhysicalUB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 424-432	例 Process and Spark Entity Object 例 Entity and 電力患者 Process and Entity 例 Object and Substance attribute Object and 加油站 Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	例 Physical and 濾器有目的 Physical and entity PhysicalUB, entity and entity 例 entity and Mixture 例 PhysicalUB and Substance 例 entity and Substance 部分 PhysicalUB and entity attribute PhysicalUB and 固體例 entity and Removing 部分 entity and entity attribute entity and 液體患者 entity and PhysicalUB 結果 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9546-9557	例 Physical and PlantStem 有目的 Physical and entity entity and entity 例 entity and Transfer 儀器 entity and Physical 例 entity and 植物根起源 entity and entity 例 entity and Substance attribute entity and 流體 objectTransferred entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1072-1078	例 Entity and 合成物質 Process 例 Process and IntentionalProcess 結果 Process and Entity 例 Entity and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4626-4640	例 Physical and 織有目的 Physical and entity entity, entity and entity 例 entity and Substance attribute entity and 易彎的患者 Physical and entity 部分 entity and entity 部分 entity and entity 等於 entity and entity 方位 entity, entity and 直角結果 Physical and entity 例 entity and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21853-21858	例 Process and 化學攻擊 Object 例 Object and Substance 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21575-21584	例 Entity and 乳膠 Object Object 例 Object and Substance 例 Object and Substance attribute Object and 液體 attribute Object and 液體等於 Object and Object

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

KB Term:			Term intersection

English Word: