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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Taiwan
Taiwan(taiwan)
China, Nationalist_China, Republic_of_China, Taiwan

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3510-3510 Taiwan dollar is a currency type of taiwan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1361-1361
No TPTP formula. May not be expressible in strict first order. Economy.kif 555-555 Advanced economy is an economy type of taiwan
No TPTP formula. May not be expressible in strict first order. Economy.kif 377-377 Four dragons economy is an economy type of taiwan
No TPTP formula. May not be expressible in strict first order. pictureList.kif 769-769
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 556-556 Taiwan is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 557-557 Taiwan is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4158-4158 "ROC" is an abbreviation of taiwan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3720-3720 Taiwan is a claimed territory of paracel islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3723-3723 Taiwan is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4157-4157 Taiwan has name "Republic of China"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4156-4156 Taiwan has name "Taiwan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56690-56690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56689-56689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56688-56688

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2850-2850 "TW" in ISO-3166-1-alpha-2 denotes taiwan


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners