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	例橫田日本 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3687-3687	名 "Yokota" and 橫田日本
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