YokotaJapan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2465-2465
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5588-5588
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5198-5198
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5585-5585
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5586-5586
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3686-3686	横田日本是日本的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2464-2464	横田日本是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3687-3687	横田日本的名是 "Yokota"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63907-63907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63906-63906
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63905-63905