| Morpheme(morpheme) | | affix, affixal, affixial, allomorph, allomorphic, alpha_privative, bound_form, bound_morpheme, combining_form, ending, formative, free_form, free_morpheme, future, infix, inflectional_ending, inflectional_suffix, morpheme, morphemic, postfix, prefix, radical, suffix, termination |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3543-3543 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15275-15276 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15274-15274 | Morpheme is a subclass of linguistic expression |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1033-1033 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1278-1278 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 711-711 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 243-243 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 246-246 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2394-2394 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 663-663 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 281-281 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 732-732 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 247-247 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15287-15292 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15278-15285 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15278-15285 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15294-15299 |
|
|
|
|