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 3844-3844 Taiwan dollar is a currency type of taiwan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1361-1361 Taiwan dollar is a currency type of taiwan
No TPTP formula. May not be expressible in strict first order. Economy.kif 560-560 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 Four dragons economy is an economy type of taiwan
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 4151-4151 "ROC" is an abbreviation of taiwan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3713-3713 Taiwan is a claimed territory of paracel islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3716-3716 Taiwan is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4150-4150 Taiwan has &ames$"name" "Republic of China"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4149-4149 Taiwan has &ames$"name" "Taiwan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56801-56801 Taiwan has &ames$"name" "Taiwan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56800-56800 Taiwan has &ames$"name" "Taiwan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56799-56799 Taiwan has &ames$"name" "Taiwan"

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2882-2882 "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 3.0 is open source software produced by Articulate Software and its partners