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 14121-14122
(subclass Morpheme LinguisticExpression) Merge.kif 14120-14120

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 14133-14138
(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))
Merge.kif 14124-14131

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


(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))
Merge.kif 14124-14131
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 14140-14145


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