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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14209-14209 Noun phrase is disjoint from verb phrase
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3547-3547
No TPTP formula. May not be expressible in strict first order. Merge.kif 14210-14211
No TPTP formula. May not be expressible in strict first order. Merge.kif 14208-14208 Noun phrase is a subclass of phrase

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1036-1036
No TPTP formula. May not be expressible in strict first order. english_format.kif 1289-1289

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14183-14183 Phrase is disjointly decomposed into verb phrase, noun phrase, and PrepositionalPhrase
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 663-663 The number 1 argument of sentential object is an instance of noun phrase
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 671-671 The number 1 argument of sentential subject is an instance of noun phrase

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14222-14227