TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3031-3032
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11402-11404
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1799-1800
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11400-11400	子類 Removing and Transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10958-10958	相關的內部概念 Decreasing and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21490-21490	子類中止 and Removing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6248-6248	子類 Amputating and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24084-24084	子類活檢 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24007-24007	子類 Birth and Removing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1513-1513	子類 BleedingAir and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21054-21054	子類割禮 and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2654-2654	子類森林砍伐 and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2656-2656	子類清淤 and Removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12795-12795	子類 Drying and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2674-2674	子類侵蝕 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2113-2113	子類 Excreting and Removing
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 250-250	子類滲出 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11804-11804	子類除毛 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18071-18071	子類收穫 and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6442-6442	子類 Moulting and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11815-11815	子類去皮 and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2915-2915	子類衛生 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5563-5563	子類掃 and Removing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 878-878	子類 Thoracentesis and Removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11415-11415	子類 Uncovering and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5573-5573	子類洗滌 and Removing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1120-1120
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1457-1457

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	例 Object and 絕對過濾器例 Process and Removing 起源 Process and Object 例 Object and 混合氣體患者 Process and Object attribute Object and 固體儀器 Process and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11406-11413	例 Process and Removing 起源 Process and Object 患者 Process and Entity 持有期間開始何時 Process and 位於 Entity and Object 持有期間結束何時 Process and 位於 Entity and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	例 AutonomousAgent and Animal 例 Attribute and DiseaseOrSyndrome attribute AutonomousAgent and Attribute Transfer Object 例 Transfer and BiologicalProcess 例 Transfer and Removing 起源 Transfer and AutonomousAgent 例 Object and 污水 agent Transfer and AutonomousAgent objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	例 Process and Coughing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entity and entity 例 entity and 肺例 entity and 喉例 entity and Object 例 entity and Removing 部分 entity and AutonomousAgent 部分 entity and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	例 Process and Sneezing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entityOSE and entity 例 entity and NasalCavity 例 entityOSE and 鼻子等於 entityOSE and 洞主持人 entity 例 entity and Object 例 entity and Removing 部分 entityOSE and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 425-435	例 Substance and Food attribute Substance and DecafAttribute 片 Substance and Substance 例 Substance and Caffeine Process 例 Process and Removing 目的地 Process and Substance 患者 Process and Substance
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	例 Collection and Organization attribute Collection and 礦業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 患者 AutonomousAgent and Object 例 Object and PureSubstance attribute Object and 固體會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	例 Collection and Organization attribute Collection and 公用事業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 例 Object and 污水患者 AutonomousAgent and Object 例 Object and Electron 例 Object and Water 例 Object and PureSubstance 能力 Combustion, 患者 and Object 會員 Process and Collection 例 AutonomousAgent and FinancialTransaction agent AutonomousAgent and Process 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6412-6423	例 Entity and SheddingPart Entity Object and Object 例 Object and Organism 例 Object and AnatomicalStructure 部分 Object and Object Process 例 Process and Removing 起源 Process and Object 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	sheddingLeaves Plant and PlantLeaf 例 Plant and DeciduousTree 例 PlantLeaf and PlantLeaf Process Process 子類 Process and Removing 頻率 Process and 年持續時間例 Process and Process 起源 Process and Plant 患者 Process and PlantLeaf
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1924-1932	例 Physical and 刷子或梳子有目的 Physical and entity 例 entity and Removing 例 entity and SurfaceChange 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10924-10931	例 Object and 蒸餾酒精飲料 Process Entity 例 Process and Removing 患者 Process and Entity 例 Entity and 淡水起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15037-15044	例 Physical and 煙囪有目的 Physical and entity entity 例 entity and 抽煙例 entity and Removing 儀器 entity and Physical
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.	Food.kif 686-701	例 Process and CoffeeMaking Process Object, Object, Object, Object and Entity 子過程 Process and Process 例 Process and Removing 起源 Process and Object 例 Object and 液體混合物部分 Object and Object 例 Object and 飲用水部分 Object and Object 例 Object and CoffeeGrind 儀器 Process and Object 例 Object and 過濾結果 Process and Entity 例 Entity and 咖啡
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	例 TimePosition and CoffeeMaking 持有期間 TimePosition and entity entity and entity 例 entity and 液體運動例 entity and Soaking 例 entity and Removing 之前開始何時 entity and 開始何時 entity 之前開始何時 entity and 開始何時 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10009-10022	例 Physical and Diuretic 有目的 Physical and entity entity, entity and entityOC 例 entity and Human 例 entity and Removing 例 entity and 液體體驗者 entity and entity 移動 entity and entity 起源 entity and entity 包含 entity and entityOC 目的地 entity and entityOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8847-8856	例 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.	WMD.kif 741-748	例 Process and 拆除大規模殺傷性武器 Process 子過程 Process and Process 例 Process and Destruction 例 Process and Removing
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	例 TimePosition and EspressoMaking 持有期間 TimePosition and entity entity, entity, entity, entity, entity, entity, entity, entity, entity and entity 例 entity and Heating 患者 entity and entity 測量 entity and 測量 entity and 升 approximateValue entity and 0.03 持有期間結束何時 entity and 測量 entity and 測量 entity and 攝氏度 approximateValue entity and 90 例 entity and 液體運動患者 entity and entity 持有期間 entity and 測量 entity and 測量 entity and 千帕斯卡 approximateValue entity and 900 目的地 entity and entity 例 entity and Collection 測量 entity and 測量 entity and 公克 approximateValue entity and 7.5 會員 entity and entity 例 entity and CoffeeGrind attribute entity and FineGrind 位於 entity and entity 例 entity and 過濾例 entity and Removing 儀器 entity and entity 患者 entity and entity 一時之間結束何時 entity, 結束何時 entity and 結束何時 entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1368-1376	例 Physical and 絕對過濾器有目的 Physical and entity entity 例 entity and Removing 起源 entity and entity 例 entity and 混合氣體儀器 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.	Cars.kif 922-936	例 Physical and FuelFilter 有目的 Physical and entity entity, entity and entity 例 entity and Removing 部分 entity and entity 例 entity and 汽油例 entity and 汽油患者 entity and entity 部分 entity and entity 起源 entity and entity 例 entity and Solution 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6745-6753	例 Physical and 礦有目的 Physical and entity PhysicalRAL 例 entity and Removing 患者 entity and PhysicalRAL 例 PhysicalRAL and Mineral 起源 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	例 Physical and Needle 有目的 Physical and entity entity, entity and entity 例 entity and Animal 例 entity and TherapeuticProcss attribute entity and 流體患者 entity and entity 儀器 entity and Physical 例 entity and Removing 例 entity and 插入子過程 entity and entity objectTransferred entity and entity
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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: