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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Japan
Japan(日本)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2902-2902 日圆 是 日本 的 currency 类别
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 549-549 发达经济 是 日本 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 163-163 发达国家 是 日本 的 economy 类别
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 日本 是 东亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 550-550 日本 是 岛 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 549-549 日本 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2389-2389 日本 是 日本东京 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2699-2699 扎扎日本营地 是 日本 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3206-3206 Matsumoto日本 是 日本 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3354-3354 大阪日本 是 日本 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3603-3603 日本东京 是 日本 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3686-3686 横田日本 是 日本 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4150-4150 日本 的名 是 "Japan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31453-31453
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31452-31452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31451-31451

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2729-2729 "JP" 在 ISO-3166-1-alpha-2 denotes 日本


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