TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24853-24856
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24851-24851	域 postAddressText, 1 and PostalAddressText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24852-24852	域 postAddressText, 2 and PostalPlace
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24849-24849	例 postAddressText and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24850-24850	例 postAddressText and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4146-4146
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4145-4145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4144-4144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65902-65902