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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewCaledonia
NewCaledonia(new caledonia)
New_Caledonia

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


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 3822-3822
No TPTP formula. May not be expressible in strict first order. pictureList.kif 618-618
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 683-683 New caledonia is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3903-3903 New caledonia is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 649-649 New caledonia is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4213-4213 New caledonia has name "New Caledonia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40275-40275
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40274-40274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40273-40273

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2868-2868 "NC" in ISO-3166-1-alpha-2 denotes new caledonia


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