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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - France
France(france)
France, French_Republic

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2903-2903 Euro dollar is a currency type of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1238-1238
No TPTP formula. May not be expressible in strict first order. Economy.kif 536-536 Advanced economy is an economy type of france
No TPTP formula. May not be expressible in strict first order. Economy.kif 155-155 Developed country is an economy type of france
No TPTP formula. May not be expressible in strict first order. pictureList.kif 445-445
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 350-350 France is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 351-351 France is an instance of european nation
No TPTP formula. May not be expressible in strict first order. Government.kif 3184-3184 France is a member of european monetary union

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 56-56 France is a capital city of paris
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3926-3926 France is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3736-3736 Bassas da india is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3756-3756 Clipperton island is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3764-3764 Europa island is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3770-3770 French guiana is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3772-3772 French polynesia is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3774-3774 French southern and antarctic lands is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3778-3778 Glorioso islands is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3782-3782 Guadeloupe is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3803-3803 Juan de nova island is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3809-3809 Martinique is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3811-3811 Mayotte is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3821-3821 New caledonia is a dependent of france
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 3838-3838 Saint pierre and miquelon is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3846-3846 Tromelin island is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3855-3855 Wallis and futuna is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2510-2510 Ajaccio france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2750-2750 Corsica france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2752-2752 Corte france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2781-2781 Dinan france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3122-3122 Lile rousse france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3156-3156 Lyons france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3202-3202 Marseilles france is a geographic subregion of france

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2687-2687 "FR" in ISO-3166-1-alpha-2 denotes france

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 59-65


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