Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Morpheme
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 15275-15276
(subclass Morpheme LinguisticExpression) Merge.kif 15274-15274

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 15287-15292
(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))
Merge.kif 15278-15285

consequent
-------------------------


(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))
Merge.kif 15278-15285
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 15294-15299


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners