TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9574-9574	不相交的關係空間的符合 and 在空間上重疊
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2828-2829
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9576-9578
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9568-9568	域空間的符合, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9569-9569	域空間的符合, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9573-9573	例空間的符合 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9571-9571	例空間的符合 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9572-9572	例空間的符合 and SymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9570-9570	相關的內部概念空間的符合 and 連接的

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order.	english_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	french_format.kif 211-211
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 179-179
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2018-2018
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 163-163
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 218-218
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 486-486
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 217-217
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 231-231
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 228-228
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 354-354
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11494-11494	子關係掌握 and 空間的符合
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36917-36917
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36916-36916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36915-36915
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 355-355

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	allergic Human and Substance 例 SubstanceUB and Substance 持有期間 TimePosition and 空間的符合 SubstanceUB and Human 模態屬性 entity 例 entity and AllergicReaction 體驗者 entity and Human 暫時重疊 TimePosition and 何時 entity 之前開始 TimePosition and 開始何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	持有期間 TimePosition and attribute Object and LateralRecumbant 方位 Object, Object and 上例 Object and LeftArm 部分 Object and Object 例 Object and RightArm 部分 Object and Object 例 Object and LeftLeg 部分 Object and Object 例 Object and RightLeg 部分 Object and Object 空間的符合 Object and Object 空間的符合 Object and Object 持有期間 TimePosition and 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	持有期間 TimePosition and attribute Object and LateralRecumbant 方位 Object, Object and 上例 Object and LeftArm 部分 Object and Object 例 Object and RightArm 部分 Object and Object 例 Object and LeftLeg 部分 Object and Object 例 Object and RightLeg 部分 Object and Object 空間的符合 Object and Object 空間的符合 Object and Object 持有期間 TimePosition and 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Maintaining 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Damaging 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5016-5025	例 Object and 氣泡 Object Attribute attribute Object and Attribute 等於 Object and 加油站空間的符合 Object and Object attribute Object and 中凸的圓形
No TPTP formula. May not be expressible in strict first order.	Weather.kif 753-763	例 Process and 颶風 Process 是 located 在 Object 例 Object and GeographicArea 位於 Object and Object 空間的符合 Object and Object 等於 Object and NortheasternPacificOcean 等於 Object and 北大西洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5246-5251	例 Object and 進口空間的符合 Object and Object 例 Object and FreshWaterArea 例 Object and FreshWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5239-5244	例 Object and 進口空間的符合 Object and Object 例 Object and SaltWaterArea 例 Object and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14208-14214	例 Object and Island 例 Object and GeographicArea 空間的符合 Object and Object 例 Object and LandArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1075-1082	例 GeographicArea and 海運貨架區例 Object and 大陸棚例 AutonomousAgent and Nation 空間的符合 Object and AutonomousAgent AutonomousAgent 是 GeographicArea 的 claimed 領土在空間上重疊 GeographicArea and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	muscleInsertion Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	muscleOrigin Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	relativeAngle Object, Object and RealNumber physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object length Object and 測量 RealNumber and UnitOfMeasure length Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Object and 測量 RealNumber and UnitOfMeasure physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 空間的符合 Object and Object 等於 RealNumber and ArcCosineFn 部減法減法乘法 RealNumber and RealNumber and 乘法 RealNumber and RealNumber and 乘法 RealNumber and RealNumber and 乘法 2.0 and 乘法 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 724-726	空間的符合 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 864-866	空間的符合 Object and Object 方位 Object, Object and 鄰
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6163-6165	空間的符合 Object and Object 方位 Object, Object and 鄰

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	attribute Object and 幾何圖例 Object and FourPosterBed 例幾何圖 and 四邊形圖的一面一維圖 and 幾何圖圖的一面一維圖 and 幾何圖等於一維圖 and 一維圖 Object Object, 幾何點 and Object 部分 Object and Object 例 Object and 地板方位 Object, Object and 上方位 Object, Object and 垂直一維圖是對於幾何點的交接點一維圖 attribute Object and 幾何點空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29752-29756	covers Object and Object 膚淺的部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	持有期間 TimePosition and attribute Object and LateralRecumbant 方位 Object, Object and 上例 Object and LeftArm 部分 Object and Object 例 Object and RightArm 部分 Object and Object 例 Object and LeftLeg 部分 Object and Object 例 Object and RightLeg 部分 Object and Object 空間的符合 Object and Object 空間的符合 Object and Object 持有期間 TimePosition and 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	持有期間 TimePosition and attribute Object and LateralRecumbant 方位 Object, Object and 上例 Object and LeftArm 部分 Object and Object 例 Object and RightArm 部分 Object and Object 例 Object and LeftLeg 部分 Object and Object 例 Object and RightLeg 部分 Object and Object 空間的符合 Object and Object 空間的符合 Object and Object 持有期間 TimePosition and 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	持有期間 TimePosition and attribute Object and Prone 方位 Object, Object and 上例 Object and Chest 部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1814-1821	持有期間 TimePosition and attribute SelfConnectedObject and Supine 方位 SelfConnectedObject, Object and 上等於 SelfConnectedObject and 背部 SelfConnectedObject 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22018-22025	例 Object and 刀片例 Process and Cutting 例 Object and Object 儀器 Process and Object 患者 Process and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1741-1761	例 Physical and Cavitating 例 SelfConnectedObject and 泵 attribute SelfConnectedObject and 設備上 attribute Object and 液體包含 SelfConnectedObject and Object SelfConnectedObjectP entity 部分 SelfConnectedObjectP and SelfConnectedObject 有目的 SelfConnectedObjectP and attribute entity and 液體空間的符合 entity and SelfConnectedObjectP 持有期間何時 Physical and entity attribute entity and 液體空間的符合 SelfConnectedObjectP and entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	例 Object and Crystal attribute Object and MonoCrystalline 例 SelfConnectedObject and Substance attribute SelfConnectedObject and 固體 attribute SelfConnectedObject and PolyCrystalline 例 SelfConnectedObject and Substance 表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject ObjectLNT Integer and Object 例 ObjectLNT and Collection Integer 是 ObjectLNT 的 member 計數大於或等於 Integer and 4 會員 Object and ObjectLNT 部分 Object and SelfConnectedObject 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9939-9947	例 Object and HoleRegion 適當的部分 Object and Object Object 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4287-4299	例 Object and 捲軸例 Process and Keeping 例 Object and CorpuscularObject attribute Object and 又長又瘦 attribute Object and 易彎的儀器 Process and Object 患者 Process and Object Object 部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	例 SelfConnectedObject and 地峽側 SelfConnectedObject and SelfConnectedObject 側 SelfConnectedObject and SelfConnectedObject 等於 SelfConnectedObject and SelfConnectedObject Object Object, Object and Object 例 Object and LandArea 例 Object and LandArea 之間 Object, SelfConnectedObject and Object 例 Object and WaterArea 例 Object and WaterArea 空間的符合 SelfConnectedObject and Object 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 902-915	例 Object and LeafSpring 部分 Object and Object 例 Object and 公路車輛模態屬性 Object 例 Object and LeafSpring 部分 Object and Object 等於 Object and Object 空間的符合 Object and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	例 SelfConnectedObject and LiquidDrop 表面 SelfConnectedObject and SelfConnectedObject 模態屬性 SelfConnectedObjectS entity 例 entity and Substance attribute entity and 液體等於 SelfConnectedObject and entity 表面 SelfConnectedObjectS and entity 空間的符合 SelfConnectedObject and SelfConnectedObjectS and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4819-4833	例 SelfConnectedObject and Object attribute SelfConnectedObject and 中凸的圓形表面 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 二維物體幾何點部分幾何點 and SelfConnectedObject attribute 幾何點 and 幾何點點圖幾何點 and SelfConnectedObject 空間的符合幾何點 and SelfConnectedObject 空間的符合幾何點 and SelfConnectedObject 一維圖切線一維圖 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4016-4024	例 CorpuscularObject and 山脈部分 Object and CorpuscularObject CorpuscularObject 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 山空間的符合 Object and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	例 Object and 鋸例 Process and Cutting 儀器 Process and Object 例 Object and Object 患者 Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object 例 Process and Motion 子過程 Process and Process 例 Object and 切割裝置部分 Object and Object 空間的符合 Object and Object 患者 Process and Object 例 TimePosition and TimeInterval 例 TimePosition and TimeInterval 等於何時 Process and TimeInterval 時間部分 TimeInterval and TimePosition 時間部分 TimeInterval and TimePosition 例 Entity and DirectionalAttribute 例 Entity and DirectionalAttribute 持有期間 TimePosition and 方向 Process and Entity 持有期間 TimePosition and 方向 Process and Entity 等於 Entity and Entity Entity 是 Entity 的 opposite 方向 ~{ 等於 Entity and Entity } ~{ Entity 是 Entity 的 opposite 方向 }
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6152-6161	例 Object and 岸區例 Object and WaterArea 方位 Object, Object and 鄰 Object 例 Object and 海岸線部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1651-1672	例 Process and 龍捲風例 Process and 旋轉例 Object and 空氣例 ProcessRAN and 易位子過程 Process and Process 子過程 ProcessRAN and Process 患者 ProcessRAN and Object 方向 ProcessRAN and 橫 Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject 例 Object and GeographicArea Process 是 located 在 Object 部分 SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment 上 ProcessOP and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 雲底部 SelfConnectedObject and SelfConnectedObject 空間的符合 ProcessOP and SelfConnectedObject 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 787-794	例 Process and 颱風 Process 是 located 在 Object 例 Object and GeographicArea 位於 Object and NorthwesternPacificOcean 空間的符合 Object and NorthwesternPacificOcean
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1289-1293	physicalEnd Object and Object 膚淺的部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1280-1287	physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5072-5080	穿 Animal and 可穿戴物品例可穿戴物品 and 帶可穿戴物品例可穿戴物品 and Clothing 穿 Animal and 可穿戴物品空間的符合可穿戴物品 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5120-5128	穿 Animal and 可穿戴物品例可穿戴物品 and 領 Object 例 Object and 頸部部分 Object and Animal 空間的符合可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5135-5143	穿 Animal and 可穿戴物品例可穿戴物品 and 手套 Object 例 Object and 手部分 Object and Animal 空間的符合可穿戴物品 and Object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 866-866	空間的符合阿拉巴馬 and 密西西比州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 882-882	空間的符合阿拉斯加州 and 北冰洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 880-880	空間的符合阿拉斯加州 and 加拿大
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 881-881	空間的符合阿拉斯加州 and 太平洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 885-885	空間的符合 Arizona and 加州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 886-886	空間的符合 Arizona and 墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 884-884	空間的符合 Arizona and Nevada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 892-892	空間的符合阿肯色州 and 路易斯安那州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 890-890	空間的符合阿肯色州 and Oklahoma
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 891-891	空間的符合阿肯色州 and 德州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 136-136	空間的符合 bassas da 印度 and 印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 138-138	空間的符合布維島 and 南大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 904-904	空間的符合加州 and 墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 905-905	空間的符合加州 and 新墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 906-906	空間的符合加州 and Oregon
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 903-903	空間的符合加州 and 太平洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 907-907	空間的符合加州 and 華盛頓
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 410-410	空間的符合加拿大 and 美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 910-910	空間的符合科羅拉多州 and Arizona
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 911-911	空間的符合科羅拉多州 and 新墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 912-912	空間的符合科羅拉多州 and 德州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 909-909	空間的符合科羅拉多州 and 猶他州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 920-920	空間的符合 Delaware and 馬里蘭
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 919-919	空間的符合 Delaware and 北大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 921-921	空間的符合 Delaware and 賓夕法尼亞

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: