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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VientianeLaos

 Sigma KEE - VientianeLaos
VientianeLaos
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 geographicSubregion VientianeLaos and Laos
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2427-2427 VientianeLaos est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3648-3648 VientianeLaos s'appele nom "Vientiane"
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


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