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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NounPhrase
NounPhrase(SintagmaNominale)

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


(disjoint NounPhrase VerbPhrase) Merge.kif 15374-15374 SintagmaNominale è disgiunto da SintagmaVerbale
(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 15375-15376
(subclass NounPhrase Phrase) Merge.kif 15373-15373 SintagmaNominale è una sottoclasse di Sintagma

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 15348-15348 Sintagma è scomposto disgiuntivamente in SintagmaVerbale, SintagmaNominale, + SintagmaPreposizionale
(domain sententialObject 1 NounPhrase) Mid-level-ontology.kif 712-712 Il numero 1 argomenti di sententialObject è un istanza di SintagmaNominale
(domain sententialSubject 1 NounPhrase) Mid-level-ontology.kif 720-720 Il numero 1 argomenti di sententialSubject è un istanza di SintagmaNominale

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


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

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


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


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