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 | The number 1 argument of fills is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10024-10024 | The number 2 argument of fills is an instance of hole |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10020-10020 | fills is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10025-10025 | fills is internally related to fillable |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10021-10021 | fills is a subrelation of completely fills |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10022-10022 | fills is a subrelation of properly fills |
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 |
|