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	The number 1 argument of gains control is an instance of achieving control
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23437-23437	The number 2 argument of gains control is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23431-23431	gains control is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23435-23435	gains control is a subrelation of 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