TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6812-6814
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6809-6809	域區域問題, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6810-6810	域區域問題, 2 and 關注的區域
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6808-6808	例區域問題 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2115-2115
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2114-2114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2113-2113
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49208-49208
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49207-49207
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49206-49206