Transportation - Sigma 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 11702-11703
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 6928-6928
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8118-8118
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.	Merge.kif 11700-11700	相關的內部概念 Transportation and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11699-11699	子類 Transportation and 易位

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1696-1696	範圍子類運輸 and Transportation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1713-1713	範圍子類旅 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19243-19243	子類航空運輸 and Transportation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11718-11718	子類 Driving and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19325-19325	子類陸運 and Transportation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6512-6512	子類 MoveToEvac and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8895-8895	子類走私 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19256-19256	子類太空運輸 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19348-19348	子類通過公路車輛運輸 and Transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19297-19297	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1129-1129	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1475-1475	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	french_format.kif 807-807	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 339-339	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 342-342	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2491-2491	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 759-759	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 344-344	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 378-378	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 637-637	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 828-828	子類水運 and Transportation
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 343-343	子類水運 and Transportation

appearance as argument number 3

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3967-3975	例 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 25224-25230	例 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 25232-25238	例 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 25240-25247	例 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.	Transportation.kif 3612-3626	例運輸系統 and 多式聯運系統運輸系統是在系統公交專用道的 route 例 Motion and Transportation 路徑 Motion and 公交專用道例 Object and 飛機儀器 Motion and Object 例 Motion and Transportation 路徑 Motion and 公交專用道儀器 Motion and Object 例 Object and 鐵路車輛例 Object and 水車例 Object and 公路車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3580-3594	例運輸系統 and 多式聯運系統運輸系統是在系統公交專用道的 route 例 Motion and Transportation 路徑 Motion and 公交專用道例 Object and 鐵路車輛儀器 Motion and Object 例 Motion and Transportation 路徑 Motion and 公交專用道儀器 Motion and Object 例 Object and 公路車輛例 Object and 水車例 Object and 飛機
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3564-3578	例運輸系統 and 多式聯運系統運輸系統是在系統公交專用道的 route 例 Motion and Transportation 路徑 Motion and 公交專用道例 Object and 公路車輛儀器 Motion and Object 例 Motion and Transportation 路徑 Motion and 公交專用道儀器 Motion and Object 例 Object and 鐵路車輛例 Object and 水車例 Object and 飛機
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3596-3610	例運輸系統 and 多式聯運系統運輸系統是在系統公交專用道的 route 例 Motion and Transportation 路徑 Motion and 公交專用道例 Object and 水車儀器 Motion and Object 例 Motion and Transportation 路徑 Motion and 公交專用道儀器 Motion and Object 例 Object and 鐵路車輛例 Object and 公路車輛例 Object and 飛機
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3546-3557	例運輸系統 and 單一運輸系統運輸系統是在系統公交專用道的 route 例 Motion and Transportation 路徑 Motion and 公交專用道例 Object and 飛機儀器 Motion and Object 例 Motion and Transportation 路徑 Motion and 公交專用道儀器 Motion and Object 例 Object and 飛機
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3520-3531	例運輸系統 and 單一運輸系統運輸系統是在系統公交專用道的 route 例 Motion and Transportation 路徑 Motion and 公交專用道例 Object and 鐵路車輛儀器 Motion and Object 例 Motion and Transportation 路徑 Motion and 公交專用道儀器 Motion and Object 例 Object and 鐵路車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3507-3518	例運輸系統 and 單一運輸系統運輸系統是在系統公交專用道的 route 例 Motion and Transportation 路徑 Motion and 公交專用道例 Object and 公路車輛儀器 Motion and Object 例 Motion and Transportation 路徑 Motion and 公交專用道儀器 Motion and Object 例 Object and 公路車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3533-3544	例運輸系統 and 單一運輸系統運輸系統是在系統公交專用道的 route 例 Motion and Transportation 路徑 Motion and 公交專用道例 Object and 水車儀器 Motion and Object 例 Motion and Transportation 路徑 Motion and 公交專用道儀器 Motion and Object 例 Object and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3816-3836	例 Transportation and Transportation 例 Object and 公交專用道路徑 Transportation and Object 輸送 Transportation and TransportationDevice 例 Object and 臨時路口部分 Object and Object Object Transportation 例 Object and 公交專用道等於 Object and Object 連接 Object, Object and Object 能力 Transfer, 路徑 and Object 例 Transportation and Transfer 輸送 Transportation and TransportationDevice 短暫相遇何時 Transportation and 何時 Transportation 模態屬性路徑 Transportation and Object and 可能性
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 16832-16840	例 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.	Transportation.kif 4109-4120	例 Transportation and Transportation 運送的 Transportation and Object attribute Object and Attribute 例 Attribute and HazardousMaterialTransportAttribute 持有期間 Transportation and 模態屬性 entity 例 entity and Damaging 資源 entity and Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25185-25190	例 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 25205-25212	例 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 1992-2004	例 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 18968-18973	SelfConnectedObject 是 onboard 車輛儀器 Process and 車輛例 Process and Transportation 患者 Process and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1701-1709	子類 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.	Transportation.kif 3941-3953	公交專用道容量公交專用道, TimeInterval and NonnegativeInteger 例公交專用道 and 空中運輸通道例 Collection and Collection 飛機是 Collection 的 member 類別 NonnegativeInteger 是 Collection 的 member 計數會員 Object and Collection 例 Motion and Transportation 儀器 Motion and Object 期間何時 Motion and TimeInterval 路徑 Motion and 公交專用道大於或等於 NonnegativeInteger and NonnegativeInteger

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9613-9626	例 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 2586-2601	例 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 1906-1916	例 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 1888-1898	例 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 3239-3263	例 Object and 公交專用道 attribute Object and BiDirectionalTraffic Entity 例 Entity and Policy Entity confers 規範 entity entity and entity 例 entity and Transportation 路徑 entity and Object 例 entity and GeographicArea 起源 entity and entity 例 entity and GeographicArea 目的地 entity and entity 持有期間何時 entity and entity 例 entity and Transportation 路徑 entity and Object 起源 entity and entity 目的地 entity and entity 等於 entity and entity 對於允許
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3272-3296	例 Object and 公交專用道 attribute Object and UniDirectionalTraffic Entity 例 Entity and Policy Entity confers 規範 entity entity and entity 例 entity and Transportation 路徑 entity and Object 例 entity and GeographicArea 起源 entity and entity 例 entity and GeographicArea 目的地 entity and entity 持有期間何時 entity and entity 例 entity and Transportation 路徑 entity and Object 起源 entity and entity 目的地 entity and entity 等於 entity and entity 對於禁令
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 3138-3143	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 2046-2061	例 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 27170-27178	例 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 4829-4839	例 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 244-252	例 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 2112-2123	例 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 8366-8372	例 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 2302-2312	例 Object and 客運鐵路車 ObjectRY 能力卡帕 ObjectRY and 例 ObjectRY and Transportation entity 例 entity and Human 患者 ObjectRY and entity, 儀器 and Object

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: