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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NounPhrase
NounPhrase(syntagme nominal)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15350-15350 Syntagme nominal est disjoint de syntagme verbal
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 15351-15352
No TPTP formula. May not be expressible in strict first order. Merge.kif 15349-15349 Syntagme nominal est une sous-classe de 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 15324-15324 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 719-719 Le nombre 1 argument de sententialObject est une instance de syntagme nominal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 727-727 Le nombre 1 argument de sententialSubject est une instance de syntagme nominal

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15363-15368