TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 530-531
No TPTP formula. May not be expressible in strict first order.	Geography.kif 527-527	The number 1 argument of map of area is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 528-528	The number 2 argument of map of area is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Geography.kif 526-526	map of area is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1607-1607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1606-1606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1605-1605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36089-36089
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36088-36088
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36087-36087