Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Noun

 Sigma KEE - Morpheme
Morpheme(morpheme)affix, affixal, affixial, allomorph, allomorphic, alpha_privative, bound_form, bound_morpheme, combining_form, ending, formative, free_form, free_morpheme, future, infix, inflectional_ending, inflectional_suffix, morpheme, morphemic, postfix, prefix, radical, suffix, termination

appearance as argument number 1
-------------------------


(subclass Morpheme LinguisticExpression) Merge.kif 15566-15566 Morpheme is a subclass of linguistic expression
(documentation Morpheme EnglishLanguage "Part of a Word which cannot be subdivided and which expresses a meaning.") Merge.kif 15567-15568 Morpheme is a subclass of linguistic expression

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


(termFormat EnglishLanguage Morpheme "morpheme") english_format.kif 1282-1282

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


(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))		 Merge.kif 15570-15577 If X is an instance of morpheme, then there doesn't exist Y such that Y is an instance of morpheme, Y is a part of X, equal Y, and X
(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))		 Merge.kif 15579-15584 If X is an instance of morpheme, then there exists Y such that Y is an instance of word and X is a part of Y

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


(=>
    (instance ?MORPH Morpheme)
    (not
        (exists (?OTHERMORPH)
            (and
                (instance ?OTHERMORPH Morpheme)
                (part ?OTHERMORPH ?MORPH)
                (not
                    (equal ?OTHERMORPH ?MORPH))))))		 Merge.kif 15570-15577 If X is an instance of morpheme, then there doesn't exist Y such that Y is an instance of morpheme, Y is a part of X, equal Y, and X
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))		 Merge.kif 15586-15591 If X is an instance of word, then there exists Y such that Y is a part of X and Y is an instance of morpheme


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners