TreeView 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 11100-11102
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 11097-11097	域路徑, 1 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11098-11098	域路徑, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11092-11092	例路徑 and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11093-11093	例路徑 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11096-11096	子關係路徑 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 44765-44765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44764-44764

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29767-29776	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 620-630	例 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 3901-3911	例 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 3913-3929	例 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.	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 17783-17787	例 Motion and 陸運路徑 Motion and Object 例 Object and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4054-4069	例 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.	Merge.kif 11104-11114	路徑 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

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 1235-1247	例 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 1609-1613	例 Motion and 公交專用道的 transit 例公交專用道 and 公交專用道路徑 Motion and 公交專用道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2942-2947	例 Object and 港口 Object 對於 RealNumber equipment 記數船泊位比較多 RealNumber and 0 能力船靠泊, 路徑 and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2949-2957	例 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 6594-6606	例 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 2653-2658	測量 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 2660-2665	測量 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 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.	Sports.kif 1108-1117	例 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.	Medicine.kif 491-503	例 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 1147-1155	例 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 548-564	例 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 2671-2679	例 Physical and ExhaustValve 有目的 Physical and entity entity 例 entity and Transfer objectTransferred entity and entity 路徑 entity and Physical 例 entity and Exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2849-2878	例 Physical and Gasket 有目的 Physical and entity entity 例 entity and CorpuscularObject 例 entity and CorpuscularObject 空間的符合 entity and Physical 空間的符合 entity and Physical entity entity, entity and entity 例 entity and HoleRegion 等於 Physical and 洞主持人 entity 例 entity and 易位路徑 entity and entity 起源 entity and entity 目的地 entity and entity 包含 entity and entity 包含 entity and entity 空間的符合 entity and entity entity 包含 entity and entity 包含 entity and entity 包含 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3026-3034	例 Physical and GreaseFitting 有目的 Physical and entity entity 例 entity and Grease 例 entity and Putting 路徑 entity and Physical objectTransferred entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15621-15636	例 Physical and 門廳有目的 Physical and entity entity, entity and entity 例 entity and 易位路徑 entity and Physical 位於 Physical and entity 例 entity and Building 之間 entity, Physical and entity 例 entity and Room 例 entity and Room 位於 entity and entity 位於 entity and entity 等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2696-2709	例 Physical and IntakeValve 有目的 Physical and entity entity, entity and entity 例 entity and 汽車例 entity and FuelVapor 例 entity and CombustionChamber 例 entity and Transfer 部分 Physical and entity 部分 entity and entity 患者 entity and entity 路徑 entity and Physical 目的地 entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1078-1085	例 Motion and IVTherapy entity Entity and Object 例 Object and IVLine 路徑 Motion and Object 例 Entity and 靜脈目的地 Motion and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3270-3285	例 Physical and ManifoldHeatControlValve 有目的 Physical and entity entity, entity, entity and entity 例 entity and Heating 例 entity and 開盤例 entity and Exhaust 例 entity and Transfer 例 entity and FuelVapor 患者 entity and Physical 儀器 entity and entity 患者 entity and entity 路徑 entity and Physical 原因 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 730-740	例 Physical and NasopharyngealAirway 有目的 Physical and entity entity 例 entity and Breathing 位於 entity and entity 持有期間何時 entity and attribute entity and Unconscious 路徑 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5582-5588	例 Physical and 水路有目的 Physical and entity 例 entity and 水運路徑 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3826-3842	例 Physical and PositiveCrankcaseVentilationValve 有目的 Physical and entity entity, entity, entity and entity 例 entity and Crankcase 例 entity and 汽油例 entity and CombustionChamber 例 entity and Transfer 例 entity and 汽車部分 entity and entity 部分 entity and entity 部分 Physical and entity 起源 entity and entity 目的地 entity and entity objectTransferred entity and entity 路徑 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2370-2372	例 Object and 舷梯能力向下運動, 路徑 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)

KB Term:			Term intersection

English Word: