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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NounPhrase
NounPhrase

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


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

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

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