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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntarcticTreatyCouncil

Sigma KEE - AntarcticTreatyCouncil
AntarcticTreatyCouncil(南極條約理事會)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2765-2765 23 and June and 1961 是 南極條約理事會 的成立 date
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8882-8882
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8884-8884
No TPTP formula. May not be expressible in strict first order. Government.kif 2763-2763 南極條約理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2766-2766 行政和管理南極條約理事會organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2767-2767 促進地區穩定南極條約理事會organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2764-2764 南極條約理事會 是 "Antarctic Treaty Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7782-7782
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7781-7781
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7780-7780


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