TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4066-4066
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11294-11295
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1795-1796
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12019-12019
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12022-12022
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12023-12023
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12020-12020
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12024-12024
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12025-12025
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12018-12018
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12021-12021
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11292-11292	子類 Transfer and 易位

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11366-11366	子類攜帶 and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5520-5520	子類換衣服 and Transfer
No TPTP formula. May not be expressible in strict first order.	Dining.kif 526-526	子類 DeliveryService and Transfer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2382-2382	子類 ElectricTransmission and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11468-11468	子類 Impelling and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10247-10247	子類 Ingesting and Transfer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1169-1169	子類 IntraosseousInfusion and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6647-6647	子類郵件 and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6651-6651	子類訊息 and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18055-18055	子類搬家 and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17534-17534	子類澆注 and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11399-11399	子類 Putting and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11518-11518	子類釋放 and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11378-11378	子類 Removing and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17603-17603	子類噴 and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11448-11448	子類 Substituting and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6588-6588	子類 Swallowing and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11480-11480	子類 Touching and Transfer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1119-1119
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1455-1455
No TPTP formula. May not be expressible in strict first order.	french_format.kif 797-797
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 329-329
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 332-332
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2481-2481

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.	Mid-level-ontology.kif 29772-29772	域 beforeOnPath, 4 and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11332-11332	域 objectTransferred, 1 and Transfer

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29779-29788	Object 對於 Object between 在路徑 Object 例 Transfer and Transfer 路徑 Transfer and Object 起源 Transfer and Object 目的地 Transfer and Object beforeOnPath Object, Object, Object and Transfer beforeOnPath Object, Object, Object and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11108-11118	例 Object and 動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Object 例 Object and 心起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11141-11151	例 Object and 肺動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Entity 例 Entity and 肺目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1717-1733	例 CorpuscularObject and Exhaust 材料汽油 and CorpuscularObject 例 Transfer and Transfer 例 CorpuscularObjectNG and 發動機起源 Transfer and CorpuscularObjectNG 例 Physical and CatalyticConverter 目的地 Transfer and Physical objectTransferred Transfer and CorpuscularObject 有目的 Physical and entity 例 entity and Combustion 儀器 entity and Physical 患者 entity and CorpuscularObject entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3893-3903	例 Object and Electromagnet 例 Transfer and Transfer 例 Object and 電力 objectTransferred Transfer and Object 路徑 Transfer and Object Process 例 Process and 磁儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3905-3921	例 Entity and Electromagnet 持有期間 TimePosition and entity entity 例 entity and Transfer 例 entity and 電力 objectTransferred entity and entity 路徑 entity and Entity 持有期間 TimePosition and entity 例 entity and 磁儀器 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4046-4061	例 Object and Tailpipe 例 ObjectR and Transfer 例 Entity and Exhaust 例 Object and 汽車例 ObjectES and AutomobileExhaustSystem 部分 Object and Object 路徑 ObjectR and Object 患者 ObjectR and Entity 有目的 Object and entity 部分 entity and Object beforeOnPath Object, entity, ObjectES and ObjectR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11352-11357	例 Transfer and Transfer objectTransferred Transfer and Object 方位 Object, Object and 內 objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11359-11364	例 Transfer and Transfer objectTransferred Transfer and Object 方位 Object, Object and 上 objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11297-11303	例 Process and Transfer agent Process and AutonomousAgent 患者 Process and Entity 等於 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11157-11172	例 Object and 肺靜脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Object Object and Object 例 Object and 肺起源 Process and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Object and 心目的地 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11125-11135	例 Object and 靜脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Entity 例 Entity and 心目的地 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	例 SelfConnectedObject and AutomobileShock 例 Process and Compressing 例 HoleRegion and HoleRegion attribute Object and 流體等於 SelfConnectedObject and 洞主持人 HoleRegion 包含 SelfConnectedObject and Object 患者 Process and SelfConnectedObject Transfer 例 Transfer and Transfer objectTransferred Transfer and Object 路徑 Transfer and HoleRegion 原因 Process and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9964-9976	例 Process and Edema 體驗者 Process and AutonomousAgent Motion Object and Object 例 Motion and Transfer 例 Object and 液體例 Object and BodyPart 部分 Object and AutonomousAgent 目的地 Motion and Object 移動 Motion and Object 子過程 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1916-1929	例 Process and GERefluxDisease 體驗者 Process and AutonomousAgent Process Object and Object 例 Process and Transfer 起源 Process and Object 例 Object and 胃例 Object and Esophagus 目的地 Process and Object 部分 Object and AutonomousAgent 部分 Object and AutonomousAgent 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	例 Process and 關稅參照 Process and Entity 患者 Process and Entity Process Object and Entity 例 Process and Transfer 患者 Process and Entity 起源 Process and Object 目的地 Process and Entity 例 Object and Nation 例 Entity and Nation 等於 Object and Entity 早期何時 Process and 何時 Process 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	例 Physical and AirIntake 有目的 Physical and entity entity and entity 例 entity and 空氣例 entity and 發動機例 entity and Transfer 起源 entity and Physical 目的地 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4461-4470	例 Physical and 袋有目的 Physical and entity entity 例 entity and Transfer 例 entity and Object 包含 Physical and entity 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2629-2645	例 Physical and ExhaustManifold 有目的 Physical and entity entity, entity, entity and entity 例 entity and 汽車例 entity and Exhaust 例 entity and EngineCylinder 例 entity and AutomobileMuffler 例 entity and Transfer 部分 Physical and entity 部分 entity and entity 部分 entity and entity 起源 entity and entity 目的地 entity and entity 患者 entity and entity 儀器 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2665-2673	例 Physical and ExhaustValve 有目的 Physical and entity entity 例 entity and Transfer objectTransferred entity and entity 路徑 entity and Physical 例 entity and Exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2540-2555	例 Physical and GasPedal 有目的 Physical and entity entity, entity, entity and entity 例 entity and Pushing 例 entity and Transfer 例 entity and 汽油例 entity and 發動機例 entity and 汽車部分 Physical and entity 部分 entity and entity 目的地 entity and Physical 目的地 entity and entity 患者 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1000-1011	例 Physical and GasTank 有目的 Physical and entity entity and entity 例 entity and 汽油包含 Physical and entity 例 entity and 發動機例 entity and Transfer 起源 entity and Physical 目的地 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11341-11348	例 Object and 心 Process Entity 例 Process and Transfer 例 Entity and Blood 儀器 Process and Object 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2690-2703	例 Physical and IntakeValve 有目的 Physical and entity entity, entity and entity 例 entity and 汽車例 entity and FuelVapor 例 entity and CombustionChamber 例 entity and Transfer 部分 Physical and entity 部分 entity and entity 患者 entity and entity 路徑 entity and Physical 目的地 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3303-3313	例 Physical and MassAirflowSensor 有目的 Physical and entity entity and entity 例 entity and Transfer 例 entity and 空氣患者 entity and entity 例 entity and Measuring 患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3262-3277	例 Physical and ManifoldHeatControlValve 有目的 Physical and entity entity, entity, entity and entity 例 entity and Heating 例 entity and 開盤例 entity and Exhaust 例 entity and Transfer 例 entity and FuelVapor 患者 entity and Physical 儀器 entity and entity 患者 entity and entity 路徑 entity and Physical 原因 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3818-3834	例 Physical and PositiveCrankcaseVentilationValve 有目的 Physical and entity entity, entity, entity and entity 例 entity and Crankcase 例 entity and 汽油例 entity and CombustionChamber 例 entity and Transfer 例 entity and 汽車部分 entity and entity 部分 entity and entity 部分 Physical and entity 起源 entity and entity 目的地 entity and entity objectTransferred entity and entity 路徑 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9507-9519	例 Physical and 植物根有目的 Physical and entity entity and entity 例 entity and Transfer 儀器 entity and Physical 起源 entity and entity 方位 entity, Physical and 外 objectTransferred entity and entity 例 entity and 淡水例 entity and Nutrient
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.	Mid-level-ontology.kif 1527-1535	例 Physical and 管有目的 Physical and entity entity 例 entity and Transfer 路徑 entity and Physical 患者 entity and entity attribute entity and 流體
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	例 Physical and 閥有目的 Physical and entity entity and entity 例 entity and Transfer 路徑 entity and Physical 患者 entity and entity attribute entity and 流體例 entity and Process 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11082-11089	例 Object and 血管 Entity Process 例 Entity and Blood 例 Process and Transfer 患者 Process and Entity 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4669-4680	例 Physical and VehicleRoofRack 有目的 Physical and entity entity and entity 例 entity and Transfer 患者 entity and entity 例 entity and 汽車方位 Physical, entity and 外空間的符合 entity and Physical 部分 Physical and entity 儀器 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2769-2777	例 Physical and WaterPump 有目的 Physical and entity entity 例 entity and Transfer 例 entity and 淡水 objectTransferred entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29801-29810	方位 Object, Object and 下游 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29823-29832	方位 Object, Object and 順風 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29790-29799	方位 Object, Object and 上游的 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object

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: