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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Portugal
Portugal(portugal)
Portugal, Portuguese_Republic

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3413-3413 Euro dollar is a currency type of portugal
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1325-1325
No TPTP formula. May not be expressible in strict first order. Economy.kif 555-555 Advanced economy is an economy type of portugal
No TPTP formula. May not be expressible in strict first order. Economy.kif 172-172 Developed country is an economy type of portugal
No TPTP formula. May not be expressible in strict first order. pictureList.kif 675-675
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 393-393 Portugal is a geographic subregion of southwestern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 394-394 Portugal is an instance of european nation
No TPTP formula. May not be expressible in strict first order. Government.kif 3214-3214 Portugal 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 4075-4075 Portugal has name "Portugal"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46760-46760
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46759-46759
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46758-46758

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2794-2794 "PT" in ISO-3166-1-alpha-2 denotes portugal


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