TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23484-23486
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23488-23488	Le nombre 1 argument de gainsControl est une instance de AchievingControl
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23489-23489	Le nombre 2 argument de gainsControl est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23483-23483	gainsControl est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23487-23487	gainsControl est une sous-relation 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