Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicArea
GeographicArea

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1435-1437
No TPTP formula. May not be expressible in strict first order. Merge.kif 14033-14038
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8502-8502
No TPTP formula. May not be expressible in strict first order. Merge.kif 14032-14032 劃分 GeographicArea, WaterArea and LandArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14031-14031 子類 GeographicArea and Region

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14023-14023 不相交的 AstronomicalBody and GeographicArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9068-9068 不相交的 空間區域 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 3623-3623 南極地區 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 3561-3561 北極地區 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2644-2644 bet lid 以色列交界處 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3594-3594 吉爾吉斯首都比什凱克 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2669-2669 博斯普魯斯海峽火雞 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2686-2686 bwindiforest烏干達 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 93-93 加勒比地區 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 78-78 中非 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 100-100 中亞 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 84-84 歐洲中部 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 95-95 中南美洲 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2731-2731 克拉克空軍基地菲律賓 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2766-2766 尼泊爾 dang 地區 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2787-2787 曼西拉巴基斯坦區 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2808-2808 杜尚別機場塔吉克斯坦 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 79-79 東非 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 101-101 東亞 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 85-85 東歐洲 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 96-96 東南美洲 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6946-6946 England and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2839-2839 費特希耶和馬爾馬里斯火雞 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2842-2842 佛羅里達 and GeographicArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1389-1389 加沙地帶 and GeographicArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 688-688 邊界, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 689-689 邊界, 2 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4857-4857 基準, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30630-30630 DemonymFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 478-478 定向分區域, 2 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 1957-1957 海拔高點, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 1933-1933 海拔低點, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 335-335 地理中心, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6914-6914 GeographicPartTypeFn, 2 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 2218-2218 Mean10MinutesWindSpeedFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 2323-2323 Mean1MinuteWindSpeedFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 2288-2288 Mean2MinutesWindSpeedFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 2253-2253 Mean3MinutesWindSpeedFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 1899-1899 Mean3SecondWindSpeedFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 1993-1993 Mean3SecondWindSpeedListFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31728-31728 OrganismPopulationFn, 2 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6111-6111 海岸, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6168-6168 海岸線, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 2033-2033 ThreeSecondGustSpeedFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Government.kif 2236-2236 代理人在區域內經營, 2 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 3092-3092 airQualityIndex, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 2072-2072 耕地面積, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22930-22930 責任範圍, 3 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 1220-1220 期間平均降水量, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 1305-1305 期間平均降雨量, 1 and GeographicArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1907-1912
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Geography.kif 705-710
No TPTP formula. May not be expressible in strict first order. Geography.kif 1727-1733
No TPTP formula. May not be expressible in strict first order. Geography.kif 1964-1975
No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954
No TPTP formula. May not be expressible in strict first order. Geography.kif 1865-1870
No TPTP formula. May not be expressible in strict first order. Geography.kif 1858-1863
No TPTP formula. May not be expressible in strict first order. Geography.kif 1879-1884
No TPTP formula. May not be expressible in strict first order. Geography.kif 1575-1582
No TPTP formula. May not be expressible in strict first order. Geography.kif 1872-1877
No TPTP formula. May not be expressible in strict first order. Weather.kif 892-898
No TPTP formula. May not be expressible in strict first order. Weather.kif 882-890
No TPTP formula. May not be expressible in strict first order. Weather.kif 943-949
No TPTP formula. May not be expressible in strict first order. Weather.kif 933-941
No TPTP formula. May not be expressible in strict first order. Weather.kif 917-925
No TPTP formula. May not be expressible in strict first order. Weather.kif 906-915
No TPTP formula. May not be expressible in strict first order. Geography.kif 493-498
No TPTP formula. May not be expressible in strict first order. Geography.kif 500-505
No TPTP formula. May not be expressible in strict first order. Weather.kif 2600-2608
No TPTP formula. May not be expressible in strict first order. Weather.kif 2537-2550
No TPTP formula. May not be expressible in strict first order. Weather.kif 753-763
No TPTP formula. May not be expressible in strict first order. Weather.kif 2566-2580
No TPTP formula. May not be expressible in strict first order. Weather.kif 2590-2598
No TPTP formula. May not be expressible in strict first order. Merge.kif 14208-14214

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. Weather.kif 1651-1672
No TPTP formula. May not be expressible in strict first order. Biography.kif 250-264
No TPTP formula. May not be expressible in strict first order. Biography.kif 280-296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26622-26624
No TPTP formula. May not be expressible in strict first order. Geography.kif 1254-1261
No TPTP formula. May not be expressible in strict first order. Media.kif 2636-2641
No TPTP formula. May not be expressible in strict first order. Geography.kif 1901-1906
No TPTP formula. May not be expressible in strict first order. Geography.kif 6302-6312
No TPTP formula. May not be expressible in strict first order. Weather.kif 1261-1273
No TPTP formula. May not be expressible in strict first order. Weather.kif 740-751
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 999-1013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13288-13293
No TPTP formula. May not be expressible in strict first order. Weather.kif 1732-1742
No TPTP formula. May not be expressible in strict first order. Weather.kif 2642-2651
No TPTP formula. May not be expressible in strict first order. Weather.kif 2627-2640
No TPTP formula. May not be expressible in strict first order. Weather.kif 2940-2955
No TPTP formula. May not be expressible in strict first order. Weather.kif 2905-2914
No TPTP formula. May not be expressible in strict first order. Weather.kif 2893-2903
No TPTP formula. May not be expressible in strict first order. Weather.kif 619-625
No TPTP formula. May not be expressible in strict first order. Weather.kif 774-785
No TPTP formula. May not be expressible in strict first order. Weather.kif 681-691
No TPTP formula. May not be expressible in strict first order. Weather.kif 660-670
No TPTP formula. May not be expressible in strict first order. Weather.kif 716-727
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26427-26435
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26415-26420

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