Washington - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1143-1143
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 832-832
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1139-1139	华盛顿是美国国家的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1140-1140	华盛顿接上加拿大
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1142-1142	华盛顿接上 Oregon
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1141-1141	华盛顿接上太平洋

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 907-907	加州接上华盛顿
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 941-941	Idaho 接上华盛顿
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62271-62271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62270-62270
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62269-62269