Svalbard - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3842-3842	斯瓦爾巴是挪威的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3843-3843
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 762-762
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 325-325	斯瓦爾巴是北歐的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Media.kif 2585-2585	斯瓦爾巴是 SvalbardAndJanMayenIsland 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3915-3915	例斯瓦爾巴 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 313-313	例斯瓦爾巴 and LandArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4041-4041	名 "Svalbard" and 斯瓦爾巴
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56419-56419
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56418-56418
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56417-56417