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	O argumento numero 1 de FlowRegionFn e' uma instancia de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4924-4924	FlowRegionFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4926-4926	O contra-dominio de FlowRegionFn e' uma instancia de Regiao

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