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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeographicArea

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 地理区域 详尽无遗地 partition水域土地面积
No TPTP formula. May not be expressible in strict first order. Merge.kif 14031-14031 地理区域地区subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14023-14023 天文体 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9068-9068 空间区域 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Geography.kif 3623-3623 南极地区地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3561-3561 北极地区地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2644-2644 Bet lid 以色列交界处地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3594-3594 吉尔吉斯首都比什凯克地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2669-2669 博斯普鲁斯海峡火鸡地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2686-2686 Bwindiforest乌干达地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 93-93 加勒比地区地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 78-78 中非地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 100-100 中亚地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 84-84 欧洲中部地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 95-95 中南美洲地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2731-2731 克拉克空军基地菲律宾地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2766-2766 尼泊尔 dang 地区地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2787-2787 曼西拉巴基斯坦区地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2808-2808 杜尚别机场塔吉克斯坦地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 79-79 东非地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 101-101 东亚地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 85-85 东欧洲地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 96-96 东南美洲地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6946-6946 England地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2839-2839 费特希耶和马尔马里斯火鸡地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2842-2842 佛罗里达地理区域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1389-1389 加沙地带地理区域instance

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 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 689-689 边界 的 2 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4857-4857 基准 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30630-30630 DemonymFn 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 478-478 定向分区域 的 2 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1957-1957 海拔高点 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1933-1933 海拔低点 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 335-335 地理中心 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6914-6914 GeographicPartTypeFn 的 2 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2218-2218 10分钟平均地面风速 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2323-2323 1分钟平均地面风速 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2288-2288 2分钟平均地面风速 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2253-2253 3分钟平均地面风速 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1899-1899 3秒平均地面风速 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1993-1993 平均3秒风速表列 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31728-31728 OrganismPopulationFn 的 2 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6111-6111 海岸 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6168-6168 海岸线 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2033-2033 3秒阵风风速 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2236-2236 代理人在区域内经营 的 2 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 3092-3092 airQualityIndex 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2072-2072 耕地面积 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22930-22930 所负责的地区 的 3 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1220-1220 期间平均降水量 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1305-1305 期间平均降雨量 的 1 数量 是 地理区域instance

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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