| Morpheme | |
| appearance as argument number 1 |
|
|
| (documentation Morpheme ChineseLanguage "这是英语不能再被细分而含有意义的一个 Word的一部分。") | chinese_format.kif 3543-3543 | |
| (documentation Morpheme EnglishLanguage "Part of a Word which cannot be subdivided and which expresses a meaning.") | Merge.kif 15321-15322 | |
| (subclass Morpheme LinguisticExpression) | Merge.kif 15320-15320 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Morpheme "词素") | chinese_format.kif 1033-1033 | |
| (termFormat EnglishLanguage Morpheme "morpheme") | english_format.kif 1278-1278 | |
| (termFormat FrenchLanguage Morpheme "morph�me") | french_format.kif 711-711 | |
| (termFormat Hindi Morpheme "rUpima") | terms-hindi.txt 243-243 | |
| (termFormat ItalianLanguage Morpheme "Morfema") | terms-it.txt 246-246 | |
| (termFormat JapaneseLanguage Morpheme "形態素") | japanese_format.kif 2394-2394 | |
| (termFormat PortugueseLanguage Morpheme "Morfema") | portuguese_format.kif 663-663 | |
| (termFormat cz Morpheme "morpheme") | terms-cz.txt 281-281 | |
| (termFormat ro Morpheme "morfem") | relations-ro.kif 732-732 | |
| (termFormat tg Morpheme "") | terms-tg.txt 247-247 |
| antecedent |
|
|
| (=> (instance ?MORPH Morpheme) (exists (?WORD) (and (instance ?WORD Word) (part ?MORPH ?WORD)))) |
Merge.kif 15333-15338 | |
| (=> (instance ?MORPH Morpheme) (not (exists (?OTHERMORPH) (and (instance ?OTHERMORPH Morpheme) (part ?OTHERMORPH ?MORPH) (not (equal ?OTHERMORPH ?MORPH)))))) |
Merge.kif 15324-15331 |
| consequent |
|
|
| (=> (instance ?MORPH Morpheme) (not (exists (?OTHERMORPH) (and (instance ?OTHERMORPH Morpheme) (part ?OTHERMORPH ?MORPH) (not (equal ?OTHERMORPH ?MORPH)))))) |
Merge.kif 15324-15331 | |
| (=> (instance ?WORD Word) (exists (?PART) (and (part ?PART ?WORD) (instance ?PART Morpheme)))) |
Merge.kif 15340-15345 |
|
|
|