Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  VientianeLaos

 Sigma KEE - VientianeLaos
VientianeLaos(vientiane laos)
more pictures...

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 61646-61646
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61645-61645
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61644-61644


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners