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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NounPhrase
NounPhrase(noun phrase)ablative, ablative_absolute, ablative_case, accusative, accusative_case, attributive_genitive, attributive_genitive_case, dative, dative_case, direct_object, genitive, genitive_case, indirect_object, locative, locative_role, nominal, nominal_phrase, nominative, nominative_case, noun_phrase, object, object_of_a_preposition, object_of_the_verb, objective_case, oblique, oblique_case, possessive, possessive_case, prepositional_object, result, resultant_role, retained_object, subject, subject_case, temporal, temporal_role, term, vocative, vocative_case

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


(disjoint NounPhrase VerbPhrase) Merge.kif 14194-14194 Noun phrase is disjoint from verb phrase
(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 14195-14196
(subclass NounPhrase Phrase) Merge.kif 14193-14193 Noun phrase is a subclass of phrase

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


(termFormat ChineseLanguage NounPhrase "名词短语") chinese_format.kif 1036-1036
(termFormat EnglishLanguage NounPhrase "noun phrase") english_format.kif 1289-1289

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


(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 14168-14168 Phrase is disjointly decomposed into verb phrase, noun phrase, and PrepositionalPhrase
(domain sententialObject 1 NounPhrase) Mid-level-ontology.kif 876-876 The number 1 argument of sentential object is an instance of noun phrase
(domain sententialSubject 1 NounPhrase) Mid-level-ontology.kif 884-884 The number 1 argument of sentential subject is an instance of noun phrase

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


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

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


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


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