TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 838-838
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8661-8661
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9556-9556
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9557-9557
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 837-837	PortCity e' uma sub-classe de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1768-1768	HaifaIsrael e' uma instancia de PortCity
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1776-1776	HannoverGermany e' uma instancia de PortCity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 884-884	ContainerPort e' uma sub-classe de PortCity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 887-887	DeepDraftPort e' uma sub-classe de PortCity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 852-852	RiverPort e' uma sub-classe de PortCity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 868-868	SeaPort e' uma sub-classe de PortCity
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46724-46724
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46723-46723
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46722-46722

appearance as argument number 3

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

antecedent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 841-850