path - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3000-3001
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11141-11143
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1762-1764
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11138-11138	域路徑, 1 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11139-11139	域路徑, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11133-11133	例路徑 and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11134-11134	例路徑 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11137-11137	子關係路徑 and eventPartlyLocated

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 575-575
No TPTP formula. May not be expressible in strict first order.	english_format.kif 580-580
No TPTP formula. May not be expressible in strict first order.	french_format.kif 341-341
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 216-216
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2097-2097
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 293-293
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 349-349
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 755-755
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 254-254
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 363-363
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 408-408
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 576-576
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44796-44796
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44795-44795
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 227-227

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30868-30877	Object 對於 Object between 在路徑 Object 例 Transfer and Transfer 路徑 Transfer and Object 起源 Transfer and Object 目的地 Transfer and Object beforeOnPath Object, Object, Object and Transfer beforeOnPath Object, Object, Object and Transfer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	例 Object and WirelessNetwork 例 Motion and NetworkCommunication 儀器 Motion and Object 路徑 Motion and Object Object 部分 Object and Object 例 Object and Cable
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 608-618	例 Process and CPR 例 Motion and Compressing 路徑 Motion and Object 子過程 Motion and Process length Object and 測量 RealNumber and 厘米比較多 RealNumber and 5.0 少於 RealNumber and 6.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3954-3964	例 Object and Electromagnet 例 Transfer and Transfer 例 Object and 電力 objectTransferred Transfer and Object 路徑 Transfer and Object Process 例 Process and 磁儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3966-3982	例 Entity and Electromagnet 持有期間 TimePosition and entity entity 例 entity and Transfer 例 entity and 電力 objectTransferred entity and entity 路徑 entity and Entity 持有期間 TimePosition and entity 例 entity and 磁儀器 entity and Entity
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.	Sports.kif 295-302	例 Motion and HalfMarathon agent Motion and AutonomousAgent 路徑 Motion and 公交專用道公交專用道的 distance 是測量 RealNumber and 英里等於 RealNumber and 13.1
No TPTP formula. May not be expressible in strict first order.	Sports.kif 281-288	例 Motion and Marathon agent Motion and AutonomousAgent 路徑 Motion and 公交專用道公交專用道的 distance 是測量 RealNumber and 英里等於 RealNumber and 26.2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2970-2996	例 Object and Odometer 例 Object and 車輛部分 Object and Object 例 Motion and 易位儀器 Motion and Object 路徑 Motion and 公交專用道公交專用道的 distance 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and LengthMeasure 有目的 Object and entity entity, RealNumberIST and UnitOfMeasure 例 entity and Measuring 儀器 entity and Object RealNumberIST 是 Object 的 measurement 讀數在列表中 RealNumber and entity 持有期間何時結束 entity and 等於 RealNumberIST and 測量 ListSumFn entity and UnitOfMeasure attribute Object and ResetMeasuringDevice
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 1259-1263	例 Motion and 航空運輸路徑 Motion and Object 例 Object and 空中運輸通道
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18873-18877	例 Motion and 陸運路徑 Motion and Object 例 Object and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4107-4122	例 Object and Tailpipe 例 ObjectR and Transfer 例 Entity and Exhaust 例 Object and 汽車例 ObjectES and AutomobileExhaustSystem 部分 Object and Object 路徑 ObjectR and Object 患者 ObjectR and Entity 有目的 Object and entity 部分 entity and Object beforeOnPath Object, entity, ObjectES and ObjectR
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.	Merge.kif 11145-11155	路徑 Motion and Object 起源 Motion and Object 目的地 Motion and Object length Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber 部分 Object and Object 之間 Object, Object 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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3913-3925	公交專用道容量公交專用道, 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.	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

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.	Cars.kif 871-885	例 SelfConnectedObject and AutomobileShock 例 Process and Compressing 例 HoleRegion and HoleRegion attribute Object and 流體等於 SelfConnectedObject and 洞主持人 HoleRegion 包含 SelfConnectedObject and Object 患者 Process and SelfConnectedObject Transfer 例 Transfer and Transfer objectTransferred Transfer and Object 路徑 Transfer and HoleRegion 原因 Process and Transfer
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 7473-7481	例 Process and Entering 目的地 Process and Region attribute Region and PhysicallyRestrictedRegion entrance Region and Region 模態屬性路徑 Process and Region and 禁令
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7462-7471	例 Process and Entering 目的地 Process and Object attribute Object and PhysicallyRestrictedRegion 模態屬性 entity entrance entity and Object 路徑 Process and entity and 義務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7494-7502	例 Process and Exiting 起源 Process and Region attribute Region and PhysicallyRestrictedRegion entrance Region and Region 模態屬性路徑 Process and Region and 禁令
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7483-7492	例 Process and Exiting 起源 Process and Object attribute Object and PhysicallyRestrictedRegion 模態屬性 entity entrance entity and Object 路徑 Process and entity and 義務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7427-7438	例 Region and Facility attribute Region and PhysicallyRestrictedRegion entrance Region and Region 有目的 Region and entity 例 entity and Entering 例 entity and Exiting 路徑 entity and Region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7440-7452	例 Object and Facility attribute Object and PhysicallyRestrictedRegion 模態屬性 entity entity 例 entity and Entering 例 entity and Exiting 路徑 entity and entity entrance entity and Object and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1228-1240	例 Object and 槍例 Object and 槍管部分 Object and Object 例 Process and Shooting 儀器 Process and Object 患者 Process and Entity 例 Entity and 拋射物 ProcessUB 子過程 ProcessUB and Process 路徑 ProcessUB and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1738-1742	例 Motion and 公交專用道的 transit 例公交專用道 and 公交專用道路徑 Motion and 公交專用道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3774-3779	例 Object and 港口 Object 對於 RealNumber equipment 記數船泊位比較多 RealNumber and 0 能力船靠泊, 路徑 and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3781-3789	例 Object and 港口設施能力船靠泊, 患者 and Object Object 例 Object and 港口連接的 Object and Object 能力船靠泊, 路徑 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7144-7156	例 Transfer and Swallowing agent Transfer and AutonomousAgent Object Object, TransferT and Object 例 Object and 口例 Object and Esophagus 例 TransferT and 胃 objectTransferred Transfer and Object 起源 Transfer and Object 目的地 Transfer and TransferT 路徑 Transfer and Object
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.	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.	Transportation.kif 3181-3186	測量 RealNumber and 儀表是草案 WaterArea 的 navigable 測量 RealNumber and 儀表是水車的 laden 草案比較多 RealNumber and RealNumber 能力水車的 trip , 路徑 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3188-3193	測量 RealNumber and 儀表是草案 WaterArea 的 navigable 測量 RealNumber and 儀表是水車的 laden 草案小於或等於 RealNumber and RealNumber 能力水車的 trip , 路徑 and WaterArea
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.	Sports.kif 1109-1118	例 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.	Transportation.kif 1752-1762	例 Physical and 橋有目的 Physical and entity entity 例 entity and 易位路徑 entity and Physical 方位 Physical, entity and 以上例 entity and LandArea 例 entity and 水體
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 479-491	例 Motion and BloodCirculation Object Object, Object and Object 例 Object and Animal 例 Object and Blood 移動 Motion and Object 例 Object and 動脈例 Object and 靜脈部分 Object and Object 部分 Object and Object 路徑 Motion and Object 路徑 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1148-1156	例 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.	Medicine.kif 536-552	例 Physical and Catheter 有目的 Physical and entity entity, entityBJ and entity 例 entity and Organism 例 entity and Motion 移動 entity and entityBJ 方位 entity, entity and 外路徑 entity and Physical 起源 entity and entity 目的地 entity and entity 起源 entity and entity 目的地 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2649-2657	例 Physical and ExhaustValve 有目的 Physical and entity entity 例 entity and Transfer objectTransferred entity and entity 路徑 entity and Physical 例 entity and Exhaust

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: