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	子類港口城市 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1768-1768	例海法以色列 and 港口城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1776-1776	例漢諾威德國 and 港口城市
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 884-884	子類集裝箱港口 and 港口城市
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 887-887	子類深水港 and 港口城市
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 852-852	子類河港 and 港口城市
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 868-868	子類海港 and 港口城市
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

antecedent

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

Transportation.kif 841-850