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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AdministrationAndManagement

 Sigma KEE - AdministrationAndManagement
AdministrationAndManagement(行政和管理)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2625-2625 例 行政和管理 and 關注的區域

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2802-2802 行政和管理 是 南極條約理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 4009-4009 行政和管理 是 聯合國項目服務辦公室 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2626-2626 子屬性 過渡政府 and 行政和管理
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5454-5454
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5453-5453
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5452-5452


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