TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 949-952
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 946-946	O argumento numero 1 de PortFacilityFn e' uma instancia de PortCity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 945-945	PortFacilityFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 947-947	O contra-dominio de PortFacilityFn e' uma instancia de PortFacility

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1999-1999
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1998-1998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1997-1997
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46736-46736
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46735-46735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46734-46734