Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass NounPhrase Phrase) Merge.kif 15619-15619 Noun phrase is a subclass of phrase
(disjoint NounPhrase VerbPhrase) Merge.kif 15620-15620 Noun phrase is disjoint from verb phrase
(documentation NounPhrase EnglishLanguage "A Phrase that has the same function as a Noun.") Merge.kif 15621-15622 Noun phrase is disjoint from verb phrase

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


(termFormat EnglishLanguage NounPhrase "noun phrase") english_format.kif 1288-1288

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


(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15594-15594 Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(domain sententialObject 1 NounPhrase) Mid-level-ontology.kif 702-702 The number 1 argument of sentential object is an instance of noun phrase
(domain sententialSubject 1 NounPhrase) Mid-level-ontology.kif 710-710 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 15633-15638 If X is an instance of noun phrase, then there exists Y such that Y is an instance of noun and Y is a part of X

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


(=>
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
        (and
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))		 Merge.kif 15624-15631 If X is an instance of sentence, then there exist Y, Z such that Y is an instance of noun phrase, Z is an instance of verb phrase, Y is a part of X, and Z is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners