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...		Laotian_capital, Vientiane, capital_of_Laos

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 is a geographic subregion of laos
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2427-2427 Vientiane laos is an instance of city

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3648-3648 Vientiane laos has name "Vientiane"
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