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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Phrase

Sigma KEE - Phrase
Phrase

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


(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15027-15027
(documentation Phrase ChineseLanguage "这是一种 Language 的一组 Word, 它形成一个单位,即是 以那个 Language 表示一个意义。") chinese_format.kif 3544-3545
(documentation Phrase EnglishLanguage "A set of Words in a Language which form a unit, i.e. express a meaning in the Language.") Merge.kif 15028-15029
(subclass Phrase LinguisticExpression) Merge.kif 15026-15026

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


(subclass NounPhrase Phrase) Merge.kif 15052-15052
(subclass PrepositionalPhrase Phrase) Merge.kif 15073-15073
(subclass VerbPhrase Phrase) Merge.kif 15041-15041
(termFormat ChineseLanguage Phrase "短语") chinese_format.kif 1034-1034
(termFormat EnglishLanguage Phrase "phrase") english_format.kif 1280-1280

appearance as argument number 3
-------------------------


(domain grammaticalRelation 1 Phrase) Mid-level-ontology.kif 23728-23728

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


(=>
    (instance ?PHRASE Phrase)
    (exists (?PART1 ?PART2)
        (and
            (part ?PART1 ?PHRASE)
            (part ?PART2 ?PHRASE)
            (instance ?PART1 Word)
            (instance ?PART2 Word)
            (not
                (equal ?PART1 ?PART2)))))
Merge.kif 15031-15039


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 is open source software produced by Articulate Software and its partners