TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23431-23433
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23435-23435	取得控制权的 1 数量是实现控制的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23436-23436	取得控制权的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23430-23430	取得控制权是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23434-23434	取得控制权是主事的 subrelation

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