TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25051-25055
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25048-25048	workPhoneNumber 的 1 数量是 TelecomNumber 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25049-25049	workPhoneNumber 的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25047-25047	workPhoneNumber 是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25046-25046	workPhoneNumber 是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25050-25050	workPhoneNumber 是电话号码的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4994-4994
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4993-4993
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4992-4992
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65973-65973