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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1220-1220	不相交的 CorpuscularObject and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14745-14745	子類 BiologicallyActiveSubstance and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14880-14880	子類 BodySubstance and Substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2455-2455	子類化學酸 and Substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1594-1594	子類導體物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3781-3781	子類 Creatinine and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7178-7178	子類 Crystal and Substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3070-3070	子類 DrugCandidate and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2652-2652	子類流出的 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2622-2622	子類電力 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18951-18951	子類爆炸性物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1759-1759	子類汽油 and Substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4960-4960	子類阿拉伯樹膠 and Substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1599-1599	子類絕緣體物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7556-7556	子類 LiquidDrop and Substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3034-3034	子類 Lubricant and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14385-14385	子類 Mineral and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1175-1175	子類 Mixture and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1073-1073	子類天然物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2750-2750	子類有毒物質 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9723-9723	子類粉末 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1077-1077	子類 PureSubstance and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18993-18993	子類岩石 and Substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4368-4368	子類糖 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9595-9595	子類表面活性劑 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 944-944	域片, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 945-945	域片, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9570-9570	域反應, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9577-9577	域試劑, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7587-7587	域子類 AmountsFn, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10012-10012	域子類 MohsScaleFn, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10037-10037	域子類 VickersHardnessFn, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6774-6774	域子類 allergic, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7603-7603	域子類 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 4355-4355	域子類地下表面類型, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4348-4348	域子類地面類型, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1206-1206	域子類 ingredient, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1207-1207	域子類 ingredient, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 971-971	域子類材料, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5846-5846	域子類 mixturePartType, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32798-32798	域子類 roomTempState, 1 and Substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1236-1236	域子類 substanceElement, 2 and Substance

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4324-4337	attribute Object and Attribute 例 Object and Substance 例 Attribute and HazardousMaterialTransportAttribute attribute Object and HazardousExplosives attribute Object and HazardousGases attribute Object and FlammableLiquid attribute Object and FlammableSolid attribute Object and OxidizingSubstance attribute Object and ToxicandInfectiousSubstance attribute Object and RadioactiveSubstance attribute Object and CorrosiveSubstance 等於 Attribute and HazardousMiscellaneous
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4242-4246	attribute Object and CorrosiveSubstance 例 Object and Substance 能力 Corrosion, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4228-4235	attribute Object and RadioactiveSubstance 例 Object and Substance Process 例 Process and 輻射核起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4197-4221	attribute Object and ToxicandInfectiousSubstance 例 Object and Substance 例 Object and Microorganism AutonomousAgent Process, Process and Process 例 AutonomousAgent and Human 例 AutonomousAgent and Animal 方位 Object, AutonomousAgent and 近例 Process and 吸入例 Process and Ingesting 例 Process and Touching agent Process and AutonomousAgent 患者 Process and Object 原因 Process and Process 患者 Process and AutonomousAgent 例 Process and Process 能力 Process, 資源 and Object 子類 Process and Injuring 子類 Process and Death
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7210-7230	例 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.	Transportation.kif 4174-4187	例 Object and Substance attribute Object and OxidizingSubstance Process 例 Process and 釋放患者 Process and 氧能力釋放, 起源 and Object 模態屬性 entity 例 entity and Combustion 原因 Process and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1053-1058	例 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.	QoSontology.kif 513-523	例 Process and ThreeDPrinting 例 Object and Substance 資源 Process and Object Object 例 Object and 貯水池部分 Object and Process 起源 Process and Object 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7448-7460	例 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 7420-7431	例 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 17698-17705	例 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 1046-1051	子類 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 17673-17678	例 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 17680-17684	例 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 7565-7577	例 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 7448-7460	例 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 7420-7431	例 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.	Transportation.kif 4150-4155	attribute Object and FlammableLiquid 例 Object and Substance attribute Object and 液體 attribute Object and 易燃的
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4162-4167	attribute Object and FlammableSolid 例 Object and Substance attribute Object and 固體 attribute Object and 易燃的
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4136-4143	attribute Object and HazardousGases 例 Object and Substance attribute Object and 加油站能力 Combustion, 資源 and Object 能力 Damaging, 資源 and Object 能力 Corrosion, 資源 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4638-4653	例 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.	Transportation.kif 4257-4266	例 Process and Corrosion Object Process and Object 例 Object and Substance 患者 Process and Object 例 Process and Removing 患者 Process and Object 部分 Object and Object 結果 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9621-9630	例 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 3110-3119	例 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 3667-3683	例 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 1224-1232	例 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 3328-3339	例 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 18627-18638	例 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 4596-4611	例 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 4617-4632	例 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 10442-10453	例 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 1065-1071	例 Entity and 合成物質 Process 例 Process and IntentionalProcess 結果 Process and Entity 例 Entity and Substance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: