successorAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1536-1537 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 707-709 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 102-103 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 119-121 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 704-704 | 域 繼承屬性, 1 and Attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 705-705 | 域 繼承屬性, 2 and Attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 703-703 | 例 繼承屬性 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 702-702 | 例 繼承屬性 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | 不相交的關係 子屬性 and 繼承屬性 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 323-323 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 328-328 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 184-184 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 286-286 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2004-2004 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 136-136 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 195-195 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 425-425 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 323-323 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 204-204 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 194-194 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 478-478 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 732-732 | 相關的內部概念 後繼屬性關閉 and 繼承屬性 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9022-9022 | 相關的內部概念 successorClass and 繼承屬性 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 324-324 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55885-55885 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55884-55884 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55883-55883 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 739-741 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 373-373 | 繼承屬性 BeaufortNumber0 and BeaufortNumber1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 382-382 | 繼承屬性 BeaufortNumber1 and BeaufortNumber2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 464-464 | 繼承屬性 BeaufortNumber10 and BeaufortNumber11 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 473-473 | 繼承屬性 BeaufortNumber11 and BeaufortNumber12 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 391-391 | 繼承屬性 BeaufortNumber2 and BeaufortNumber3 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 401-401 | 繼承屬性 BeaufortNumber3 and BeaufortNumber4 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 410-410 | 繼承屬性 BeaufortNumber4 and BeaufortNumber5 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 419-419 | 繼承屬性 BeaufortNumber5 and BeaufortNumber6 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 428-428 | 繼承屬性 BeaufortNumber6 and BeaufortNumber7 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 437-437 | 繼承屬性 BeaufortNumber7 and BeaufortNumber8 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 446-446 | 繼承屬性 BeaufortNumber8 and BeaufortNumber9 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 455-455 | 繼承屬性 BeaufortNumber9 and BeaufortNumber10 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25708-25708 | 繼承屬性 ColdTemperature and CoolTemperature |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25714-25714 | 繼承屬性 CoolTemperature and WarmTemperature |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 517-517 | 繼承屬性 轉型國家 and 發達經濟 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1001-1001 | 繼承屬性 DeluxeRoom and Suite |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 516-516 | 繼承屬性 發展中國家 and 轉型國家 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2150-2150 | 繼承屬性 EF0 and EF1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2158-2158 | 繼承屬性 EF1 and EF2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2166-2166 | 繼承屬性 EF2 and EF3 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2174-2174 | 繼承屬性 EF3 and EF4 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2182-2182 | 繼承屬性 EF4 and EF5 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 187-187 | 繼承屬性 前蘇聯或東歐國家 and 發達國家 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 209-209 | 繼承屬性 較未發達國家 and 前蘇聯或東歐國家 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 426-426 | 繼承屬性 低收入國家 and 中低收入國家 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |