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 est une sous-classe de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1768-1768	HaifaIsrael est une instance de PortCity
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1776-1776	HannoverGermany est une instance de PortCity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 884-884	ContainerPort est une sous-classe de PortCity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 887-887	DeepDraftPort est une sous-classe de PortCity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 852-852	RiverPort est une sous-classe de PortCity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 868-868	SeaPort est une sous-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

Le nombre 1 argument de PortFacilityFn est une instance de PortCity

antecedent

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

Transportation.kif 841-850