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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NounPhrase

Sigma KEE - NounPhrase
NounPhrase(名詞句)

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


(disjoint NounPhrase VerbPhrase) Merge.kif 15328-15328 名詞句動詞句disjoint では %n
(documentation NounPhrase ChineseLanguage "这是有着和 Noun 一样功能的 Phrase。") chinese_format.kif 3547-3547
(documentation NounPhrase EnglishLanguage "A Phrase that has the same function as a Noun.") Merge.kif 15329-15330
(subclass NounPhrase Phrase) Merge.kif 15327-15327 名詞句subclass では %n

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


(termFormat ChineseLanguage NounPhrase "名词短语") chinese_format.kif 1036-1036
(termFormat EnglishLanguage NounPhrase "noun phrase") english_format.kif 1284-1284
(termFormat FrenchLanguage NounPhrase "syntagme nominal") french_format.kif 714-714
(termFormat Hindi NounPhrase "sangyaa vaakyansha") terms-hindi.txt 246-246
(termFormat ItalianLanguage NounPhrase "SintagmaNominale") terms-it.txt 249-249
(termFormat JapaneseLanguage NounPhrase "名詞句") japanese_format.kif 2397-2397
(termFormat PortugueseLanguage NounPhrase "Sintagma Nominal") portuguese_format.kif 666-666
(termFormat cb NounPhrase "pangalang mugbong pinulongan") terms-cb.txt 251-251
(termFormat cz NounPhrase "noun phrase") terms-cz.txt 284-284
(termFormat ro NounPhrase "grup nominal") relations-ro.kif 735-735
(termFormat tg NounPhrase "Pariralang Pangalan") terms-tg.txt 250-250

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


(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15302-15302 動詞句, 名詞句, + 前置詞句disjointly decomposed %n
(domain sententialObject 1 NounPhrase) Mid-level-ontology.kif 719-719 sententialObject の数値 1 引数は 名詞句instance では %n
(domain sententialSubject 1 NounPhrase) Mid-level-ontology.kif 727-727 sententialSubject の数値 1 引数は 名詞句instance では %n

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


(=>
    (instance ?PHRASE NounPhrase)
    (exists (?NOUN)
        (and
            (instance ?NOUN Noun)
            (part ?NOUN ?PHRASE))))
Merge.kif 15341-15346

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


(=>
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
        (and
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))
Merge.kif 15332-15339


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