TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2896-2896	歐元是德國的 currency 類別
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1243-1243
No TPTP formula. May not be expressible in strict first order.	Economy.kif 542-542	發達經濟是德國的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 156-156	發達國家是德國的 economy 類別
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 460-460
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 279-279	德國是歐洲中部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 280-280	例德國 and 歐洲國家
No TPTP formula. May not be expressible in strict first order.	Government.kif 3205-3205	會員德國 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1242-1242	部分德國 and 歐洲

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 717-717	德國是柏林，德國的 capital 城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2582-2582	德國 bad vilbel 是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2640-2640	柏林，德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2667-2667	波恩德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2736-2736	科隆德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2796-2796	多特蒙德德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2800-2800	杜塞爾多夫德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2847-2847	法蘭克福德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2899-2899	漢堡德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2905-2905	漢諾威德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3150-3150	呂貝克德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3260-3260	Munchen gladbach 德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3264-3264	芒斯特德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3333-3333	NuremburgGermany 是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3358-3358	奧斯納布魯克德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5107-5107	SortimoCorp 的 headquarters 是在德國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4020-4020	名 "Germany" and 德國
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25920-25920
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25919-25919
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25918-25918

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2685-2685

"DE" 在 ISO-3166-1-alpha-2 denotes 德國

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: