TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23499-23501
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23502-23502	The number 1 argument of loses control is an instance of change of control
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23503-23503	The number 2 argument of loses control is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23497-23497	loses control is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23498-23498	loses control is a subrelation of 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