fills |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2885-2889 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10027-10030 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1633-1636 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10023-10023 | 域 填充, 1 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10024-10024 | 域 填充, 2 and HoleRegion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10020-10020 | 例 填充 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10025-10025 | 相關的內部概念 填充 and 可填寫 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10021-10021 | 子關係 填充 and 完全填滿 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10022-10022 | 子關係 填充 and 適當填充 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 379-379 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 385-385 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 218-218 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 110-110 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2024-2024 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 170-170 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 225-225 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 507-507 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 150-150 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 238-238 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 235-235 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 230-230 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 380-380 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23678-23678 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23677-23677 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23676-23676 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 231-231 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10052-10056 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10032-10037 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10058-10062 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9956-9959 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1646-1652 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10013-10018 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9994-9999 |
|