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 14156-14157
(subclass Morpheme LinguisticExpression) Merge.kif 14155-14155

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Morpheme "词素") chinese_format.kif 1033-1033
(termFormat EnglishLanguage Morpheme "morpheme") english_format.kif 1283-1283

antecedent
-------------------------


(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))
Merge.kif 14168-14173
(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))
Merge.kif 14159-14166

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


(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))
Merge.kif 14159-14166
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 14175-14180


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