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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AreaOfConcern

 Sigma KEE - AreaOfConcern
AreaOfConcern(關注的區域)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6804-6806
No TPTP formula. May not be expressible in strict first order. Geography.kif 6802-6802 子類 關注的區域 and RelationalAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2625-2625 例 行政和管理 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2678-2678 例 經濟發展 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2723-2723 例 信息合作 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2668-2668 例 基礎設施合作 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2704-2704 例 司法問題 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2692-2692 例 勞工問題 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2632-2632 例 觀察和監測 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2700-2700 例 政治合作 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 3521-3521 例 促進私營企業 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2737-2737 例 公共衛生問題 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2648-2648 例 減少犯罪 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2878-2878 例 區域安全 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2710-2710 例 社會發展 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Geography.kif 6818-6818 子類 環境問題 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Government.kif 2608-2608 子類 跨國問題 and 關注的區域
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8286-8286
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8285-8285
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8284-8284

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2594-2594 域 組織目標, 2 and 關注的區域
No TPTP formula. May not be expressible in strict first order. Geography.kif 6810-6810 域 區域問題, 2 and 關注的區域


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