LandArea |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1453-1455 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14154-14157 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14153-14153 | 子類 LandArea and GeographicArea |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 639-639 | 例 美國薩摩亞 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 416-416 | 例 安圭拉 and LandArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3624-3624 | 例 南極地區 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 417-417 | 例 阿魯巴 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 592-592 | 例 阿什莫爾和卡地亞島嶼 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 640-640 | 例 貝克島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 400-400 | 例 百慕大 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 565-565 | 例 英屬印度洋領地 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 418-418 | 例 英屬維爾京群島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 419-419 | 例 開曼群島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 593-593 | 例 聖誕島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 469-469 | 例 clipperton島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 594-594 | 例 科科斯基林群島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 641-641 | 例 庫克群島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 642-642 | 例 珊瑚海島嶼 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 492-492 | 例 福克蘭群島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 311-311 | 例 法羅群島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 491-491 | 例 法屬圭亞那 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 643-643 | 例 法屬波利尼西亞 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 587-587 | 例 法國南部和南極的土地 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 237-237 | 例 加沙地帶 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 388-388 | 例 直布羅陀 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 401-401 | 例 格陵蘭 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 420-420 | 例 瓜德羅普島 and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 344-344 | 例 根西島 and LandArea |
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 4285-4285 | 域 地下表面類型, 1 and LandArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4278-4278 | 域 地面類型, 1 and LandArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1674-1674 | 域 坡度, 1 and LandArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1687-1687 | 域 坡度梯度朝向, 1 and LandArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14032-14032 | 劃分 GeographicArea, WaterArea and LandArea |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1598-1608 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5711-5718 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5720-5725 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6779-6792 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1843-1849 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1835-1841 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4288-4297 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4247-4257 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4231-4241 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14159-14166 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1742-1746 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1275-1296 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14208-14214 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5823-5837 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 693-706 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21147-21177 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2178-2196 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1793-1795 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 952-957 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15385-15392 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 595-601 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1359-1368 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8969-8974 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5225-5230 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14194-14206 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17771-17778 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 811-818 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4791-4796 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6771-6777 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14289-14297 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3958-3969 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26104-26122 |