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	港口城市是城市的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1768-1768	海法以色列是港口城市的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1776-1776	汉诺威德国是港口城市的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 884-884	集装箱港口是港口城市的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 887-887	深水港是港口城市的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 852-852	河港是港口城市的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 868-868	海港是港口城市的 subclass
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