Removing - Sigma 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 11455-11457
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 11453-11453	子類 Removing and Transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10999-10999	相關的內部概念 Decreasing and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22580-22580	子類中止 and Removing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6232-6232	子類 Amputating and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25204-25204	子類活檢 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25127-25127	子類 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 22144-22144	子類割禮 and Removing
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4249-4249	子類 Corrosion and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2642-2642	子類森林砍伐 and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2644-2644	子類清淤 and Removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12848-12848	子類 Drying and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2662-2662	子類侵蝕 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2179-2179	子類 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 12701-12701	子類除毛 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19161-19161	子類收穫 and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6510-6510	子類 Moulting and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12712-12712	子類去皮 and Removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2903-2903	子類衛生 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6113-6113	子類掃 and Removing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 866-866	子類 Thoracentesis and Removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11468-11468	子類 Uncovering and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6123-6123	子類洗滌 and Removing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1120-1120	子類洗滌 and Removing

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 11459-11466	例 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 2228-2241	例 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 6605-6624	例 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 6671-6689	例 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 6480-6491	例 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 6461-6472	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 1990-1998	例 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 11821-11828	例 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 15966-15973	例 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 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.	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 10906-10919	例 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 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.	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 2589-2597	例 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 7295-7303	例 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 912-926	例 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

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: