WaterVehicle - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3953-3954
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 391-391
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 383-383
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 546-546
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 386-386
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 389-389
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 382-382
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 390-390
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 385-385
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 381-381
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 384-384
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 388-388
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 545-545
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 392-392
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 544-544
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 393-393
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 387-387
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3952-3952	子類水車 and 車輛

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2020-2020	子類兩棲車輛 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2680-2680	子類駁船 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2690-2690	子類獨木舟 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2472-2472	子類排水型船體水車 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2685-2685	子類渡船 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2684-2684	子類消防船 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2611-2611	子類漁船 and 水車
No TPTP formula. May not be expressible in strict first order.	Sports.kif 213-213	子類皮艇 and 水車
No TPTP formula. May not be expressible in strict first order.	Sports.kif 216-216	子類 Keelboat and 水車
No TPTP formula. May not be expressible in strict first order.	Military.kif 218-218	子類軍用水車 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2469-2469	子類多體船水車 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2696-2696	子類個人船隻 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2652-2652	子類滑行船體水車 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2688-2688	子類奔波 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2689-2689	子類帆船 and 水車
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19216-19216	子類潛艇 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2683-2683	子類拖船 and 水車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62528-62528	子類拖船 and 水車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62527-62527	子類拖船 and 水車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62526-62526	子類拖船 and 水車

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4412-4412	域船員, 1 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1080-1080	域國旗, 1 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3204-3204	域載貨草案, 1 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2725-2725	域船舶重量噸位, 1 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2715-2715	域船隻位移, 1 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2748-2748	域船舶總註冊噸位, 1 and 水車

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4820-4824	例 Physical and 冰山例 Object and 水車海上危險 Physical and Object
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.	Geography.kif 6028-6032	例 Physical and 礁例 Object and 水車海上危險 Physical and Object
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.	Geography.kif 5998-6002	例 Physical and 淺灘例 Object and 水車海上危險 Physical and Object
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 1823-1828	例 Object and 河 SelfConnectedObject 是對於交通類別 Object 的 trafficable 子類 SelfConnectedObject and 水車例 Object and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3165-3171	測量 RealNumber and 長噸是 navigable 對於 WaterArea 的運輸噸位例水車 and 水車測量 RealNumber and 長噸是水車的 vessel 位移小於或等於 RealNumber and RealNumber 能力水車的 trip , 路徑 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2462-2467	子類 TransportationDevice and 水車例 Process and TransportationDevice 的 transportation Process 是 located 在 Object 例 Object and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3927-3939	公交專用道容量公交專用道, 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19310-19312	例 Object and 水車能力水運, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3956-3965	例 Physical and 水車有目的 Physical and entity entity 例 entity and Water 例 entity and Transportation 持有期間何時 entity and 空間的符合 Physical and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4711-4717	例 Object and 錨例 ObjectTTACH and Attaching 儀器 ObjectTTACH and Object 患者 ObjectTTACH and Entity 例 Entity and 水車
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 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 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.	Mid-level-ontology.kif 4723-4728	例 Object and 船甲板 Object 例 Object and 水車部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1728-1733	例 Object and 桅杆 Object 例 Object and 水車部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4411-4418	例 Physical and OutboardEngine 有目的 Physical and entity 例 entity and 水車空間的符合 Physical and entity 方位 Physical, entity and 外
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5123-5134	例 Physical and BoatSeat 有目的 Physical and entity entity and entity 例 entity and Human 例 entity and 水車持有期間 entity and attribute entity and 坐在位於 entity and Physical 位於 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4522-4529	例 Process and WaterTransportationService Process Object 例 Process and 水運例 Object and 水車儀器 Process and Object 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19301-19308	例 Process and 水運 Object Object 例 Object and 水車例 Object and WaterArea 儀器 Process and Object Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1260-1277	例 Process and WaterSkiing AutonomousAgent Object, Object, Object, Object, Process and Process 例 Object and 水車例 Object and WaterArea 例 Object and WaterSki Process 是 located 在 Object 例 AutonomousAgent and Human 位於 AutonomousAgent and Object 連接 Object, AutonomousAgent and Object 例 Process and Transportation 儀器 Process and Object 例 Process and Motion agent Process and AutonomousAgent 儀器 Process and Object 原因 Process and Process 子過程 Process and Process

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: