OsloNorway - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2168-2168
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4211-4211
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4214-4214
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4215-4215
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3993-3993
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4213-4213
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4212-4212
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3356-3356	奧斯陸挪威是挪威的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2167-2167	例奧斯陸挪威 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3357-3357	名 "Oslo" and 奧斯陸挪威
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42654-42654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42653-42653
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42652-42652