Phrase - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15348-15348	Frase e' disjuntamente decomponivel em Sintagma Verbal, Sintagma Nominal, + Frase Preposicional
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3544-3545
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15349-15350
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15347-15347	Frase e' uma sub-classe de Expressao Linguistica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15373-15373	Sintagma Nominal e' uma sub-classe de Frase
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15394-15394	Frase Preposicional e' uma sub-classe de Frase
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15362-15362	Sintagma Verbal e' uma sub-classe de Frase
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1034-1034
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1280-1280
No TPTP formula. May not be expressible in strict first order.	french_format.kif 712-712
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 244-244
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 247-247
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2395-2395
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 664-664
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 249-249
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 282-282
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 733-733
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 248-248

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 24412-24412

O argumento numero 1 de grammaticalRelation e' uma instancia de Frase

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 15352-15360