TreeView Knowledge Base Browser - PrepositionalPhrase

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3548-3549
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 15348-15348	Prepositional 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 1037-1037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65348-65348
No TPTP formula. May not be expressible in strict first order.	french_format.kif 715-715
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 247-247
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 250-250
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2398-2398
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2399-2399
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 667-667
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 252-252
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 285-285
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 736-736
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 251-251

appearance as argument number 4

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

Merge.kif 15302-15302

antecedent

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

Merge.kif 15352-15357