Illinois - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 950-951
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 512-512
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 947-947	伊利诺伊是美国国家的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 948-948	伊利诺伊接上 Iowa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 949-949	伊利诺伊接上密苏里州

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 953-953	Indiana 接上伊利诺伊
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 968-968	肯塔基接上伊利诺伊
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 998-998	密歇根州接上伊利诺伊
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1149-1149	Wisconsin 接上伊利诺伊
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1611-1611	芝加哥美国是伊利诺伊的 part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29295-29295
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29294-29294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29293-29293