TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3786-3788
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16915-16919
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16912-16912	域方位, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16913-16913	域方位, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16914-16914	域方位, 3 and PositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16910-16910	例方位 and SpatialRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16911-16911	例方位 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 586-586
No TPTP formula. May not be expressible in strict first order.	english_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	french_format.kif 351-351
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 204-204
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2098-2098
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 303-303
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 359-359
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 767-767
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 242-242
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 373-373
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 389-389
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 390-390
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 587-587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42582-42582
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42581-42581
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42580-42580
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 391-391

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9119-9122	方位 Object, Object and 外部分位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17103-17107	方位 Object, Object and 鄰方位 Object, Object and 近連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17091-17095	方位 Object, Object and 下面方位 Object, Object and 上方位 Object, Object and 以上
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17028-17030	方位 Object, Object and 東方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17045-17047	方位 Object, Object and 橫方位 Object, Object and 橫
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17018-17020	方位 Object, Object and 北方位 Object, Object and 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3653-3657	方位 Object, Object and 東北方位 Object, Object and 北方位 Object, Object and 東
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3688-3692	方位 Object, Object and 西北方位 Object, Object and 北方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17124-17126	方位 Object, Object and 右方位 Object, Object and 左
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3664-3668	方位 Object, Object and 東南方位 Object, Object and 南方位 Object, Object and 東
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3676-3680	方位 Object, Object and 西南方位 Object, Object and 南方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17036-17038	方位 Object, Object and 垂直方位 Object, Object 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.	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.	Medicine.kif 44-59	例 Process and 流血的例 Entity and Death 例 Formula and Human 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent 方位 Formula, AutonomousAgent and 近模態屬性原因 Process and Entity and 容易持有義務 Formula and entity 例 entity and Attaching agent entity and Formula 目的地 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6126-6131	例 Object and 海岸例 Object and WaterArea 方位 Object, Object and 鄰例 Object and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17004-17009	例 PositionalAttribute and DirectionalAttribute 方位 Object, Object and PositionalAttribute 方位 Object, Object and PositionalAttribute 之間 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2537-2550	例 Process and Fogging Process 是 located 在 Region 例 Region and GeographicArea 例 Object and 大氣地區方位 Object, Region and 以上例 Object and Aerosal Object 對於 Object 在時間何時 Process located visibility 在 Region 期間何時 Process 是測量 RealNumber and 儀表少於 RealNumber and 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2566-2580	例 Process and AtmosphericHazing Process 是 located 在 Region 例 Region and GeographicArea 例 Object and 大氣地區方位 Object, Region and 以上 Object 對於 Object 在時間何時 Process located visibility 在 Region 期間何時 Process 是測量 RealNumber and 公里比較多 RealNumber and 2.0 少於 RealNumber and 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17065-17069	例 PositionalAttribute and AntiSymmetricPositionalAttribute 方位 Object, Object and PositionalAttribute 方位 Object, Object and PositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17054-17058	例 PositionalAttribute and SymmetricPositionalAttribute 方位 Object, Object and PositionalAttribute 方位 Object, Object and PositionalAttribute
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.	Merge.kif 11352-11357	例 Transfer and Transfer objectTransferred Transfer and Object 方位 Object, Object and 內 objectTransferred Transfer and Object

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.	Geography.kif 3731-3733	Object 對於 %3 courseWRT 實際北方位 Object, Object and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3755-3757	Object 對於 %3 courseWRT 實際北方位 Object, Object and 東南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3739-3741	Object 對於 %3 courseWRT 實際北方位 Object, Object and 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3759-3761	Object 對於 %3 courseWRT 實際北方位 Object, Object and 西南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3743-3745	Object 對於 %3 courseWRT 實際北方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3763-3765	Object 對於 %3 courseWRT 實際北方位 Object, Object and 西北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3747-3749	Object 對於 %3 courseWRT 實際北方位 Object, Object and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3751-3753	Object 對於 %3 courseWRT 實際北方位 Object, Object and 東北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3735-3737	Object 對於 %3 courseWRT 實際北方位 Object, Object and 東
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17103-17107	方位 Object, Object and 鄰方位 Object, Object and 近連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17091-17095	方位 Object, Object and 下面方位 Object, Object and 上方位 Object, Object and 以上
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17028-17030	方位 Object, Object and 東方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17045-17047	方位 Object, Object and 橫方位 Object, Object and 橫
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17018-17020	方位 Object, Object and 北方位 Object, Object and 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3653-3657	方位 Object, Object and 東北方位 Object, Object and 北方位 Object, Object and 東
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3688-3692	方位 Object, Object and 西北方位 Object, Object and 北方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17124-17126	方位 Object, Object and 右方位 Object, Object and 左
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3664-3668	方位 Object, Object and 東南方位 Object, Object and 南方位 Object, Object and 東
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3676-3680	方位 Object, Object and 西南方位 Object, Object and 南方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17036-17038	方位 Object, Object and 垂直方位 Object, Object and 垂直
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 939-944	Object 是對於 Class adjacent Object 例 Object and Class 方位 Object, Object and 鄰
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7714-7716	高度 Object, Object and LengthMeasure 方位 Object, Object and 以上
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	attribute SelfConnectedObject and 凹表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 部分 Object and SelfConnectedObject 等於 Object and Object 和 Object 之間線路等於 Object and Object 部分 Object and Object 方位 Object, SelfConnectedObject and 外
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	attribute SelfConnectedObject and 凸表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 部分 Object and SelfConnectedObject 等於 Object and Object 和 Object 之間線路等於 Object and Object 部分 Object and Object 方位 Object, SelfConnectedObject and 內
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

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.	Geography.kif 282-282	方位非洲, 北美 and 東南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 280-280	方位非洲, 南美洲 and 東北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 281-281	方位亞洲, 大洋洲 and 西北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 290-290	方位加勒比地區, 北美 and 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 289-289	方位加勒比地區, 南美洲 and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 275-275	方位歐洲, 非洲 and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 276-276	方位歐洲, 亞洲 and 西方
No TPTP formula. May not be expressible in strict first order.	Geography.kif 277-277	方位歐洲, 北美 and 東
No TPTP formula. May not be expressible in strict first order.	Geography.kif 283-283	方位歐洲, 南美洲 and 東北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6966-6966	方位愛爾蘭, Wales and 西方
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6965-6965	方位人島, 北愛爾蘭 and 東
No TPTP formula. May not be expressible in strict first order.	Geography.kif 288-288	方位中美洲, 北美 and 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 287-287	方位中美洲, 南美洲 and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 286-286	方位中東地區, 非洲 and 東北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 285-285	方位中東地區, 亞洲 and 西南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 279-279	方位北美, 亞洲 and 東
No TPTP formula. May not be expressible in strict first order.	Geography.kif 278-278	方位北美, 南美洲 and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6954-6954	方位北愛爾蘭, England and 西北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6953-6953	方位北愛爾蘭, 蘇格蘭 and 西南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6963-6963	方位北愛爾蘭, Wales and 西北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 284-284	方位大洋洲, 北美 and 西南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6951-6951	方位蘇格蘭, England and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6964-6964	方位蘇格蘭, Wales and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6961-6961	方位 Wales, England and 西方

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: