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 15128-15129
(subclass Morpheme LinguisticExpression) Merge.kif 15127-15127

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


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

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


(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))
Merge.kif 15140-15145
(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))
Merge.kif 15131-15138

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


(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))
Merge.kif 15131-15138
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 15147-15152


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