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 15328-15328 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 15329-15330
No TPTP formula. May not be expressible in strict first order. Merge.kif 15327-15327 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 1284-1284
No TPTP formula. May not be expressible in strict first order. french_format.kif 714-714
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 246-246
No TPTP formula. May not be expressible in strict first order. terms-it.txt 249-249
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2397-2397
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 666-666
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 251-251
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 284-284
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 735-735
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 250-250

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15302-15302 Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 719-719 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 727-727 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 15341-15346