VientianeLaos - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2428-2428
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5538-5538
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5539-5539
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5541-5541
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5540-5540
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5190-5190
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3647-3647	Vientiane laos 是寮的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2427-2427	例 vientiane laos and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3648-3648	名 "Vientiane" and vientiane laos
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61648-61648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61647-61647
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61646-61646