TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23432-23434
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23436-23436	O argumento numero 1 de gainsControl e' uma instancia de AchievingControl
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23437-23437	O argumento numero 2 de gainsControl e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23431-23431	gainsControl e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23435-23435	gainsControl e' uma sub-relacao de agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 109-109
No TPTP formula. May not be expressible in strict first order.	english_format.kif 109-109
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1903-1903
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 110-110
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25340-25340
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25339-25339
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25338-25338