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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - NounPhrase

appearance as argument number 1

(disjoint NounPhrase VerbPhrase) Merge.kif 15328-15328
(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

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
(domain sententialObject 1 NounPhrase) Mid-level-ontology.kif 719-719
(domain sententialSubject 1 NounPhrase) Mid-level-ontology.kif 727-727


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


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

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