TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4928-4929
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4925-4925	Le nombre 1 argument de FlowRegionFn est une instance de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4924-4924	FlowRegionFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4926-4926	Le domaine de FlowRegionFn est une instance de r�gion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1073-1073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1072-1072
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1071-1071
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24350-24350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24349-24349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24348-24348