FrontFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1560-1564 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 881-889 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 132-137 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 160-167 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 152-159 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 878-878 | Le nombre 1 argument de FrontFn est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 876-876 | FrontFn est une instance de relation partielle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 875-875 | FrontFn est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 877-877 | FrontFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 879-879 | Le domaine de FrontFn est une instance de objet en une partie |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 259-259 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 264-264 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 148-148 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 114-114 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1976-1976 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 100-100 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 333-333 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 154-154 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 167-167 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 154-154 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 238-238 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 260-260 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25076-25076 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25075-25075 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25074-25074 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 106-106 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 239-239 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12937-12943 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 316-322 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12875-12881 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12860-12866 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3071-3076 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 891-893 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3451-3456 |
|