TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23218-23221
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23222-23222	O argumento numero 1 de workAddress e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23223-23223	O argumento numero 2 de workAddress e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23216-23216	workAddress e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23215-23215	workAddress e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23217-23217	workAddress e' uma sub-relacao de postContactSite

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2634-2634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2633-2633
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2632-2632
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63453-63453
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63452-63452
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63451-63451