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 10049-10052 | |
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 10045-10045 | Le nombre 1 argument de fills est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10046-10046 | Le nombre 2 argument de fills est une instance de trou |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10042-10042 | fills est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10047-10047 | fills est reli� � l'int�rieur de SUMO � Fillable |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10043-10043 | fills est une sous-relation de completelyFills |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10044-10044 | fills est une sous-relation de properlyFills |
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 10074-10078 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10054-10059 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10080-10084 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9978-9981 |
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 10035-10040 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10016-10021 |