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 15324-15324 短语 分拆成不相交的 动词短语, 名词短语, 和 介词短语
(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 15325-15326
(subclass Phrase LinguisticExpression) Merge.kif 15323-15323 短语语言式表达subclass

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


(subclass NounPhrase Phrase) Merge.kif 15349-15349 名词短语短语subclass
(subclass PrepositionalPhrase Phrase) Merge.kif 15370-15370 介词短语短语subclass
(subclass VerbPhrase Phrase) Merge.kif 15338-15338 动词短语短语subclass
(termFormat ChineseLanguage Phrase "短语") chinese_format.kif 1034-1034
(termFormat EnglishLanguage Phrase "phrase") english_format.kif 1280-1280
(termFormat FrenchLanguage Phrase "phrase") french_format.kif 712-712
(termFormat Hindi Phrase "vaakyaansha") terms-hindi.txt 244-244
(termFormat ItalianLanguage Phrase "Sintagma") terms-it.txt 247-247
(termFormat JapaneseLanguage Phrase "句") japanese_format.kif 2395-2395
(termFormat PortugueseLanguage Phrase "Frase") portuguese_format.kif 664-664
(termFormat cb Phrase "mugbong pinulongan") terms-cb.txt 249-249
(termFormat cz Phrase "phrase") terms-cz.txt 282-282
(termFormat ro Phrase "expresie") relations-ro.kif 733-733
(termFormat tg Phrase "Parirala") terms-tg.txt 248-248

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


(domain grammaticalRelation 1 Phrase) Mid-level-ontology.kif 24354-24354 语法关系 的 1 数量 是 短语instance

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 15328-15336


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