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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reunion
Reunion

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3834-3834 dependentGeopoliticalArea Reunion and France
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3835-3835
No TPTP formula. May not be expressible in strict first order. pictureList.kif 693-693
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 177-177 geographicSubregion Reunion and SouthernAfrica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3911-3911 Reunion e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 178-178 Reunion e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3972-3972 Reunion se chama nome "Reunion"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49844-49844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49843-49843
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49842-49842

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2875-2875 codeMapping ISO-3166-1-alpha-2, "RE" and Reunion


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



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