claimedTerritory |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 968-972 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 964-964 | 域 聲稱領土, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 965-965 | 域 聲稱領土, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 963-963 | 例 聲稱領土 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 456-456 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 455-455 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 454-454 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 966-966 | 子關係 依賴的地緣政治區域 and 聲稱領土 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14994-14994 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14993-14993 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14992-14992 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 998-1003 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1206-1212 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1075-1082 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1157-1161 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1189-1193 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1050-1054 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1125-1129 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1092-1096 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1228-1232 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 924-932 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 989-996 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3923-3923 | 阿根廷 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3924-3924 | 澳大利亞 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3925-3925 | 智利 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3926-3926 | 法國 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3927-3927 | 新西蘭 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3928-3928 | 挪威 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3929-3929 | 英國 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3715-3715 | 以色列 是 加沙地帶 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3716-3716 | 巴勒斯坦解放組織 是 加沙地帶 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3717-3717 | 中國 是 西沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3718-3718 | 台灣 是 西沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3719-3719 | 越南 是 西沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3720-3720 | 中國 是 南沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3721-3721 | 台灣 是 南沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3722-3722 | 越南 是 南沙群島 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3723-3723 | 以色列 是 西方銀行 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3724-3724 | 巴勒斯坦解放組織 是 西方銀行 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3725-3725 | 摩洛哥 是 西撒哈拉 的 claimed 領土 |