TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3058-3061
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11573-11578
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1826-1829
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11571-11571	子類易位 and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1604-1604	範圍子類過境 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17137-17137	子類加速 and 易位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11162-11162	子類走動 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17307-17307	子類到達 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17375-17375	子類登機 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4382-4382	子類 Crawling and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17416-17416	子類 deboarding and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17165-17165	子類減速 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17318-17318	子類 Disappearing and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17275-17275	子類逃逸 and 易位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11602-11602	子類落下 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17224-17224	子類飛行 and 易位
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 121-121	子類朝覲 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17346-17346	子類移民 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17248-17248	子類降落 and 易位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 808-808	子類登陸水域 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17296-17296	子類離開 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13952-13952	子類軍事滲透 and 易位
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1724-1724	子類 MovingCursor and 易位
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1417-1417	子類 MovingTowardsPeople and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17261-17261	子類返回 and 易位
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3017-3017	子類船靠泊 and 易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17235-17235	子類起飛 and 易位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11314-11314	子類 Transfer and 易位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11616-11616	子類 Transportation and 易位

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.

Merge.kif 11014-11014

域改變位置, 1 and 易位

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11580-11589	例 Process and 易位起源 Process and Object Object Process 例 Object and Region 等於 Object and Object 子過程 Process and Process 位於 Process and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1647-1668	例 Process and 龍捲風例 Process and 旋轉例 Object and 空氣例 ProcessRAN and 易位子過程 Process and Process 子過程 ProcessRAN and Process 患者 ProcessRAN and Object 方向 ProcessRAN and 橫 Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject 例 Object and GeographicArea Process 是 located 在 Object 部分 SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment 上 ProcessOP and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 雲底部 SelfConnectedObject and SelfConnectedObject 空間的符合 ProcessOP and SelfConnectedObject 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	例 Process and 易位例 Process and 易位起源 Process and Object 起源 Process and Object 目的地 Process and Object 目的地 Process and Entity 體驗者 Process and AutonomousAgent 體驗者 Process and AutonomousAgent Process 例 Process and 易位起源 Process and Object 目的地 Process and Entity 子過程 Process and Process 子過程 Process and Process 體驗者 Process and AutonomousAgent 啟動何時 Process and 何時 Process 飾面何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16014-16020	例 Object and 車輛例 Process and 易位儀器 Process and Object 目的地 Process and Entity 持有期間開始何時 Process and 位於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16006-16012	例 Object and 車輛例 Process and 易位儀器 Process and Object 起源 Process and Object 持有期間開始何時 Process and 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11591-11600	例 Motion and 易位 Object Entity and Object 例 Object and Object 例 Entity and Object 例 Object and Object 路徑 Motion and Object 起源 Motion and Object 目的地 Motion and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	持有期間 TimePosition and attribute Entity and 被驅逐公民 Entity and entity-NATION 例 TimePosition and TimeInterval Process Object 例 Object and Nation 等於 Object and entity-NATION 例 Process and 易位起源 Process and Object 患者 Process and Entity 目的地 Process and entity-NATION 時間部分 TimePosition and 何時 Process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	例 Physical and 壅部分位於 Physical and Object 有目的 Physical and entity 例 entity and 易位路徑 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21775-21794	例 Process and 封鎖例 Contest and Contest 子過程 Process and Contest AutonomousAgent participates 在 Contest agent Process and AutonomousAgent Contest1 CognitiveAgent 防止 Contest1 and 易位例 Process and Contest1 CognitiveAgent participates 在 Contest 等於 AutonomousAgent and CognitiveAgent 慾望 CognitiveAgent and entity 例 entity and Contest1 agent entity and AutonomousAgent 子過程 entity and Contest
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1271-1292	例 Process and 塵暴例 Process and 風子過程 Process and Process Transfer Object, Object, Object, Object and RealNumber 例 Object and LandArea Process 是 located 在 Object 測量 RealNumber and 結速度單位是 Object 的 surface 風速比較多 RealNumber and 30.0 例 Transfer and 易位子過程 Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object 例 Object and ParticulateMatter 例 Object and 砂例 Object and LandArea 目的地 Transfer and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2963-2979	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 車輛連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed SpeedGovernor and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity 例 entity and 易位持有期間何時 entity and 測量 EngineeringComponent and 測量 entity and MilesPerHour 比較多 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	例 Process and 疏散 agent Process and Organization 起源 Process and Object Process ProcessA 例 Process and 易位子過程 Process and Process 起源 Process and Object 體驗者 Process and ProcessA agent Process and ProcessA 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2501-2511	例 Process and 疏散起源 Process and Object 目的地 Process and Entity Process 例 Process and 易位子過程 Process and Process 目的地 Process and Entity 起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5846-5858	例 Process and Infecting 體驗者 Process and AutonomousAgent Motion Process and AutonomousAgent 例 Motion and 易位移動 Motion and AutonomousAgent 例 AutonomousAgent and Organism 例 Process and Replication 體驗者 Process and AutonomousAgent 子過程 Motion and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	例 Process and FoodPickup agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity 例 Entity and food for Human Object Process and Process 位於 AutonomousAgent and Object 例 Process and 易位 agent Process and AutonomousAgent 目的地 Process and Object 例 Process and Getting 起源 Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	例 Object and ParkingBrake 例 Object and 車輛持有期間 TimePosition and attribute Object and 設備上部分 Object and Object 有目的 Object and 持有期間 TimePosition and entity 例 entity and 易位患者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16560-16574	例 Object and 護照擁有 AutonomousAgent and Object Object confers 規範 entity entity and entity 例 entity and 易位 agent entity and AutonomousAgent 起源 entity and entity 目的地 entity and entity 例 entity and Nation 例 entity and Nation 等於 entity and entity 對於允許
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	例 Process and StayingStill 體驗者 Process and AutonomousAgent Process Process 例 Process and BodyMotion 例 Process and 易位原因 Process and Process agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	例 Process and 易位例 Process and 易位起源 Process and Object 起源 Process and Object 目的地 Process and Object 目的地 Process and Entity 體驗者 Process and AutonomousAgent 體驗者 Process and AutonomousAgent Process 例 Process and 易位起源 Process and Object 目的地 Process and Entity 子過程 Process and Process 子過程 Process and Process 體驗者 Process and AutonomousAgent 啟動何時 Process and 何時 Process 飾面何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	SelfConnectedObject 是對於交通類別 Region 的 trafficable 子類 SelfConnectedObject and AutonomousAgent 例 Object and SelfConnectedObject 易位 capable 在地點 agent 對於 Object 跟 Region 在一起
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11025-11033	%2 是 %3 的 changes 地點例易位 and 易位例 AutonomousAgent and Object 患者易位 and AutonomousAgent agent 易位 and AutonomousAgent 體驗者易位 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17310-17316	例 Process and 到達 Process 例 Process and 易位子過程 Process and Process 飾面何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1108-1117	例 Process and Bowling ProcessALL Motion and Object 例 Motion and 易位例 ProcessALL and BowlingBall 患者 Motion and ProcessALL 例 Object and BowlingLane 路徑 Motion and Object 子過程 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1147-1155	例 Physical and BowlingLane 有目的 Physical and entity entity 例 entity and 易位例 entity and BowlingBall 患者 entity and entity 路徑 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3706-3708	例 Object and 家具能力易位, 移動 and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2849-2878	例 Physical and Gasket 有目的 Physical and entity entity 例 entity and CorpuscularObject 例 entity and CorpuscularObject 空間的符合 entity and Physical 空間的符合 entity and Physical entity entity, entity and entity 例 entity and HoleRegion 等於 Physical and 洞主持人 entity 例 entity and 易位路徑 entity and entity 起源 entity and entity 目的地 entity and entity 包含 entity and entity 包含 entity and entity 空間的符合 entity and entity entity 包含 entity and entity 包含 entity and entity 包含 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15621-15636	例 Physical and 門廳有目的 Physical and entity entity, entity and entity 例 entity and 易位路徑 entity and Physical 位於 Physical and entity 例 entity and Building 之間 entity, Physical and entity 例 entity and Room 例 entity and Room 位於 entity and entity 位於 entity and entity 等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12396-12405	例 Physical and Inflammation Transfer Object 例 Transfer and 易位例 Object and 白細胞 objectTransferred Transfer and Object 目的地 Transfer and 哪裡 Physical and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17299-17305	例 Process and 離開 Process 例 Process and 易位子過程 Process and Process 啟動何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 858-860	例 Object and Object 能力易位, 目的地 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 854-856	例 Object and Object 能力易位, 起源 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: