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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Japan
Japan(japan)
Japan, Nihon, Nippon

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2912-2912 Japanese yen is a currency type of japan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1268-1268
No TPTP formula. May not be expressible in strict first order. Economy.kif 544-544 Advanced economy is an economy type of japan
No TPTP formula. May not be expressible in strict first order. Economy.kif 163-163 Developed country is an economy type of japan
No TPTP formula. May not be expressible in strict first order. pictureList.kif 527-527
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 548-548 Japan is a geographic subregion of eastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 550-550 Japan is an instance of island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 549-549 Japan is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2389-2389 Japan is a capital city of tokyo japan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2699-2699 Camp zama japan is a geographic subregion of japan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3206-3206 Matsumoto japan is a geographic subregion of japan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3354-3354 Osaka japan is a geographic subregion of japan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3603-3603 Tokyo japan is a geographic subregion of japan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3686-3686 Yokota japan is a geographic subregion of japan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4150-4150 Japan has name "Japan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31440-31440
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31439-31439
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31438-31438

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2717-2717 "JP" in ISO-3166-1-alpha-2 denotes japan


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