TreeView Knowledge Base Browser

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	子類 Mixture and Substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4745-4745	子類 Adderall and Mixture
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5601-5601	子類礬土 and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21557-21557	子類膠體 and Mixture
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5895-5895	子類具體 and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8832-8832	子類洗滌劑 and Mixture
No TPTP formula. May not be expressible in strict first order.	Food.kif 1600-1600	子類麵團 and Mixture
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1139-1139	子類 Exhaust and Mixture
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5975-5975	子類肥料 and Mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14736-14736	子類混合氣體 and Mixture
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6098-6098	子類寶石 and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8910-8910	子類玻璃 and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8897-8897	子類膠 and Mixture
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4440-4440	子類礫石 and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1249-1249	子類槍粉 and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17982-17982	子類腐殖質 and Mixture
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1580-1580	子類 HydraulicFluid and Mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14709-14709	子類液體混合物 and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8913-8913	子類金屬合金 and Mixture
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7403-7403	子類 ParticulateMatter and Mixture
No TPTP formula. May not be expressible in strict first order.	Food.kif 309-309	子類已準備食物 and Mixture
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5836-5836	子類 RingersLactate and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2153-2153	子類污水 and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17921-17921	子類泥 and Mixture
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4557-4557	子類植物油 and Mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21445-21445	子類 Vomit and Mixture

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 and Mixture
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5859-5859	域子類 mixturePartType, 2 and Mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1042-1042	劃分 Substance, PureSubstance and Mixture

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	例 Object and Mixture 例 UnitOfMeasure and UnitOfMeasure mixtureRatio Substance, Substance, RealNumber, RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 部分 Substance and Object 部分 Substance and Object 測量 Substance and 測量 RealNumber and UnitOfMeasure 測量 Substance and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 加成 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1200-1205	例 Substance and Mixture 片 Substance and Substance 例 Substance and Mixture 例 Substance and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1219-1228	例 Object and TapWater 例 Object and Mixture 部分 Object and Object 例 Object and Antifreeze 部分 Object and Object attribute Object and 固體測量 Object and 測量 RealNumber and 攝氏度比較多 32 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	子類 Object and Mixture %每個 Object 是 Meat 的 initially part %每個 Object 是 FoodFromPlant 的 initially part %每個 Object 是飲用水的 initially part 等於 Object and 高湯
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1190-1198	例 Substance and Mixture Substance Substance 例 Substance and PureSubstance 例 Substance and PureSubstance 等於 Substance and Substance 片 Substance and Substance 片 Substance and Substance

consequent

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.	Cars.kif 943-958	例 Physical and AirFilter 有目的 Physical and entity entity, entity and entity 例 entity and Removing 部分 entity and entity 例 entity and 空氣例 entity and 空氣 attribute entity and 固體患者 entity and entity 部分 entity and entity 起源 entity and entity 例 entity and Mixture 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2523-2531	例 Physical and 過濾有目的 Physical and entity entity 例 entity and Removing 起源 entity and entity 例 entity and Mixture 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8812-8820	例 Object and 油 Object Object 例 Object and Mixture 部分 Object and Object 例 Object and 淡水部分 Object and Object
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.	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

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

KB Term:			Term intersection

English Word: