TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23447-23449
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23450-23450	O argumento numero 1 de losesControl e' uma instancia de ChangeOfControl
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23451-23451	O argumento numero 2 de losesControl e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23445-23445	losesControl e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23446-23446	losesControl e' uma sub-relacao de experiencer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 147-147
No TPTP formula. May not be expressible in strict first order.	english_format.kif 148-148
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1922-1922
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35051-35051
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 148-148
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35050-35050
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35049-35049