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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SanMarino
SanMarino(san marino)
Republic_of_San_Marino, San_Marino

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1338-1338
No TPTP formula. May not be expressible in strict first order. Economy.kif 173-173 Developed country is an economy type of san marino
No TPTP formula. May not be expressible in strict first order. pictureList.kif 712-712
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 339-339 San marino is a geographic subregion of southern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 340-340 San marino is an instance of european nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4048-4048 San marino has name "San Marino"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51147-51147
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51146-51146
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51145-51145

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2803-2803 "SM" in ISO-3166-1-alpha-2 denotes san marino


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