TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3484-3485
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 3483-3483	子類水車 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 2489-2489	子類駁船 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2499-2499	子類獨木舟 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2297-2297	子類排水型船體水車 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2494-2494	子類渡船 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2493-2493	子類消防船 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2436-2436	子類漁船 and 水車
No TPTP formula. May not be expressible in strict first order.	Sports.kif 201-201	子類皮艇 and 水車
No TPTP formula. May not be expressible in strict first order.	Sports.kif 204-204	子類 Keelboat and 水車
No TPTP formula. May not be expressible in strict first order.	Military.kif 151-151	子類軍用水車 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2294-2294	子類多體船水車 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2505-2505	子類個人船隻 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2461-2461	子類滑行船體水車 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2497-2497	子類奔波 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2498-2498	子類帆船 and 水車
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17658-17658	子類潛艇 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2492-2492	子類拖船 and 水車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62505-62505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62504-62504
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62503-62503

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3275-3275	域船員, 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 2676-2676	域載貨草案, 1 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2534-2534	域船舶重量噸位, 1 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2524-2524	域船隻位移, 1 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2545-2545	域船舶總註冊噸位, 1 and 水車

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4751-4755	例 Physical and 冰山例 Object and 水車海上危險 Physical and Object
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.	Geography.kif 5959-5963	例 Physical and 礁例 Object and 水車海上危險 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5929-5933	例 Physical and 淺灘例 Object and 水車海上危險 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	例 Object and 河 SelfConnectedObject 是對於交通類別 Object 的 trafficable 子類 SelfConnectedObject and 水車例 Object and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2637-2643	測量 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 2287-2292	子類 TransportationDevice and 水車例 Process and TransportationDevice 的 transportation Process 是 located 在 Object 例 Object and WaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17752-17754	例 Object and 水車能力水運, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3487-3496	例 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 4242-4248	例 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.	Mid-level-ontology.kif 4254-4259	例 Object and 船甲板 Object 例 Object and 水車部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1505-1510	例 Object and 桅杆 Object 例 Object and 水車部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4350-4357	例 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 5062-5073	例 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 3385-3392	例 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 17743-17750	例 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 1246-1263	例 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 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: