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 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 705-705 | 后续属性 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 703-703 | 后续属性 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 702-702 | 后续属性 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | 子属性 和 后续属性 是 disjoint 关系 |
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 | 后续属性闭包 和 后续属性 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9044-9044 | successorClass 和 后续属性 是 内部相关 |
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 | 浦氏0风级 是 浦氏1风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 382-382 | 浦氏1风级 是 浦氏2风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 464-464 | 浦氏10风级 是 浦氏11风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 473-473 | 浦氏11风级 是 浦氏12风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 391-391 | 浦氏2风级 是 浦氏3风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 401-401 | 浦氏3风级 是 浦氏4风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 410-410 | 浦氏4风级 是 浦氏5风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 419-419 | 浦氏5风级 是 浦氏6风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 428-428 | 浦氏6风级 是 浦氏7风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 437-437 | 浦氏7风级 是 浦氏8风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 446-446 | 浦氏8风级 是 浦氏9风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 455-455 | 浦氏9风级 是 浦氏10风级 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25696-25696 | ColdTemperature 是 CoolTemperature 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25702-25702 | CoolTemperature 是 WarmTemperature 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 517-517 | 转型国家 是 发达经济 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1001-1001 | DeluxeRoom 是 Suite 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 516-516 | 发展中国家 是 转型国家 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2146-2146 | 改良藤田0 是 改良藤田1 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2154-2154 | 改良藤田1 是 改良藤田2 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2162-2162 | 改良藤田2 是 改良藤田3 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2170-2170 | 改良藤田3 是 改良藤田4 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2178-2178 | 改良藤田4 是 改良藤田5 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 187-187 | 前苏联或东欧国家 是 发达国家 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 209-209 | 较未发达国家 是 前苏联或东欧国家 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 426-426 | 低收入国家 是 中低收入国家 的直接后续属性 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |