TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3064-3065
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11597-11598
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1832-1833
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6929-6929
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8119-8119
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8120-8120
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11595-11595	相關的內部概念 Transportation and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11594-11594	子類 Transportation and 易位

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1567-1567	範圍子類運輸 and Transportation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1584-1584	範圍子類旅 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17685-17685	子類航空運輸 and Transportation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11613-11613	子類 Driving and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17767-17767	子類陸運 and Transportation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6531-6531	子類 MoveToEvac and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7693-7693	子類運輸 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7706-7706	子類走私 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17698-17698	子類太空運輸 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17790-17790	子類通過公路車輛運輸 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17739-17739	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1475-1475
No TPTP formula. May not be expressible in strict first order.	french_format.kif 807-807
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 339-339
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 342-342
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2491-2491
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 759-759
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 344-344
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 828-828
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 343-343

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23533-23533	域輸送, 1 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22858-22858	域運送的, 1 and Transportation

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	例 Object and 水車例 Process and Transportation 儀器 Process and Object Object 例 Object and WaterArea Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23575-23581	例 Process and Driving 子過程 Transportation and Process 例 Transportation and Transportation agent Process and AutonomousAgent 運送的 Transportation and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23583-23589	例 Process and Driving 子過程 Process and Process 例 Process and Transportation 目的地 Process and Entity 目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23591-23598	例 Process and Driving 子過程 Transportation and Process 例 Transportation and Transportation 例 TransportationDevice and 車輛患者 Process and TransportationDevice 輸送 Transportation and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	例 Object and FuelPump 例 Object and 汽車部分 Object and Object 例 Motion and Transportation 例 Process and 汽油患者 Motion and Process 儀器 Process and Object 例 Object and GasTank 部分 Object and Object 例 Object and EngineCylinder 部分 Object and Object 起源 Motion and Object 目的地 Motion and Object 路徑 Motion and Object 有目的 Motion and ProcessF 例 ProcessF and FuelFilter Object 對於 Object between 在路徑 ProcessF
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	例 Object and FuelPump 例 Object and 汽車部分 Object and Object 例 Process and Transportation 例 Process and 汽油患者 Process and Process 儀器 Process and Object 有目的 Object and entity entity 例 entity and GasTank 部分 entity and Object 例 entity and EngineCylinder 部分 entity and Object 起源 Process and entity 目的地 Process and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	例 Process and Transportation 例 Object and 輪例 Object and 汽車部分 Object and Object 儀器 Process and Object 例 ObjectB and AntilockBrake 例 Process and 減速儀器 Process and ObjectB 部分 ObjectB and Object 有目的 ObjectB and entity 例 entity and 旋轉期間 entity and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15451-15459	例 Process and Transportation 儀器 Process and Object 例 Object and 泵 Object 儀器 Process and Object attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 789-795	例 Process and Transportation 患者 Process and Entity 儀器 Process and EntityS 例 EntityS and 排污系統例 Entity and 污水
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23536-23541	例 Process and Transportation 儀器 Process and Object 例 Object and 公路車輛例 Process and 通過公路車輛運輸
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23556-23563	例 Process and Transportation 子過程 Process and Process 例 Process and Driving 儀器 Process and Object 例 Object and TransportationDevice 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1852-1864	例 Object and 車皮例 Process and Transportation 儀器 Process and Object AutonomousAgent 例 Process and 拉 agent Process and AutonomousAgent 患者 Process and Object 例 AutonomousAgent and 家畜例 AutonomousAgent and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17410-17415	SelfConnectedObject 是 onboard 車輛儀器 Process and 車輛例 Process and Transportation 患者 Process and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1572-1580	子類 TransportationDevice and TransportationDevice 子類 TransportationDevice 的 transportation and Transportation 例 Process and TransportationDevice 的 transportation Object 例 Object and TransportationDevice 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11600-11605	例 Process and Transportation Object 例 Object and TransportationDevice 儀器 Process and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	例 AutonomousAgent and 騎兵部隊例 TimeInterval and Battle agent TimeInterval and AutonomousAgent AutonomousAgent Entity and TimeInterval attribute AutonomousAgent and 士兵會員 AutonomousAgent and AutonomousAgent 例 TimeInterval and Transportation agent TimeInterval and AutonomousAgent 例 Entity and 車輛患者 TimeInterval and Entity 期間 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	例 Collection and 護航會員 AutonomousAgent and Collection 會員 AutonomousAgent and Collection 等於 AutonomousAgent and AutonomousAgent Process Process and Entity 例 Process and Transportation 例 Process and Transportation agent Process and AutonomousAgent agent Process and AutonomousAgent 目的地 Process and Entity 目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	例 Process and 疏散起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Transportation 目的地 Process and Object 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 患者 Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	例 Collection and Organization attribute Collection and 航空運輸業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity CognitiveAgentLANE and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and CognitiveAgentLANE 例 CognitiveAgentLANE and 飛機, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	例 Collection and Organization attribute Collection and 信使和信使 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity 例 entity and Transportation 擁有 CognitiveAgent and Entity 患者 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	例 Collection and Organization attribute Collection and 管道運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity, entity and CognitiveAgentIPE 例 entity and Transportation 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Substance 擁有 Collection and entity 儀器 entity and CognitiveAgentIPE 例 CognitiveAgentIPE and 管道, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	例 Collection and Organization attribute Collection and 郵政服務 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity 例 entity and Transportation 擁有 CognitiveAgent and Entity 患者 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	例 Collection and Organization attribute Collection and 鐵路運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 鐵路車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	例 Collection and Organization attribute Collection and 景區和觀光交通 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and Transportation 例 entity and RecreationOrExercise 患者 entity and CognitiveAgent 擁有 Collection and entity 例 entity and 車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	例 Collection and Organization attribute Collection and 過境和地面客運 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 Collection and entity 例 entity and 陸地車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	例 Collection and Organization attribute Collection and 卡車運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 陸地車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	例 Collection and Organization attribute Collection and 水運業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 水車, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1766-1776	例 Entity and 貨車例 Entity and Human 模態屬性 entity 例 entity and Transportation 患者 entity and Entity 儀器 entity and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1748-1758	例 Entity and 乘用車例 Entity and Human 模態屬性 entity 例 entity and Transportation 患者 entity and Entity 儀器 entity and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	測量 RealNumber and UnitOfMeasure 是車輛的 maximum 有效附載容量車輛對於測量 RealNumber and UnitOfMeasure 的 maximum 有效附載高度測量 RealNumber and UnitOfMeasure 例 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and RealNumberU 是 SelfConnectedObject 的 weight 寬度 SelfConnectedObject and 測量 RealNumber and RealNumberU 高度 SelfConnectedObject and 測量 RealNumber and RealNumberU 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 能力卡帕 SymbolicString and 例 SymbolicString and Transportation 患者 SymbolicString and SelfConnectedObject, 儀器 and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2610-2615	SelfConnectedObject 是對於交通類別 Region 的 trafficable 子類 SelfConnectedObject and TransportationDevice 例 Object and SelfConnectedObject Transportation capable 在地點儀器對於 Object 跟 Region 在一起
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	例 Physical and 救護車有目的 Physical and entity entity 例 entity and Human attribute entity and DiseaseOrSyndrome entity entity 例 entity and Injuring 體驗者 entity and entity 之前 entity and entity 例 entity and Transportation 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25501-25509	例 Physical and AirPump 有目的 Physical and entity entity 例 entity and Transportation 例 entity and 空氣儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4768-4778	例 Physical and AllTerrainVehicle 有目的 Physical and entity entity 例 entity and Transportation 儀器 entity and Physical 持有期間何時 entity and 方位 Physical, entity and 上例 entity and 巷道
No TPTP formula. May not be expressible in strict first order.	Military.kif 177-185	例 Physical and 轟炸機有目的 Physical and entity entity 例 entity and Transportation 儀器 entity and Physical 患者 entity and entity 例 entity and 爆炸裝置
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	例 Physical and 總線有目的 Physical and entity entity, entity and entity 例 entity and Collection 例 entity and Transportation entity 是 entity 的 member 計數比較多 entity and 11 會員 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7179-7185	例 AutonomousAgent and 運輸公司 Process 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Transportation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2127-2137	例 Object and 客運鐵路車 ObjectRY 能力卡帕 ObjectRY and 例 ObjectRY and Transportation entity 例 entity and Human 患者 ObjectRY and entity, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3223-3231	例 AutonomousAgent and 鐵路公司 Process Object 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Transportation 儀器 Process and Object 例 Object and 火車
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15970-15972	例 Object and TransportationDevice 能力 Transportation, 儀器 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: