Nebraska - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1028-1028
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5374-5374
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5149-5149
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5375-5375
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1024-1024	Nebraska 是美国国家的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1026-1026	Nebraska 接上科罗拉多州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1027-1027	Nebraska 接上 Kansas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1025-1025	Nebraska 接上怀俄明

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 957-957	Iowa 接上 Nebraska
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1015-1015	密苏里州接上 Nebraska
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1102-1102	SouthDakota 接上 Nebraska
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65229-65229