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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reunion
Reunion(reunion)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3834-3834 Reunion is a dependent of 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 Reunion is a geographic subregion of southern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3911-3911 Reunion is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 178-178 Reunion is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3972-3972 Reunion has name "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 "RE" in ISO-3166-1-alpha-2 denotes 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