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	失去操控权的 1 数量是改变控制的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23451-23451	失去操控权的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23445-23445	失去操控权是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23446-23446	失去操控权是经历者的 subrelation

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