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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NordicCouncil

 Sigma KEE - NordicCouncil
NordicCouncil(北歐理事會)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3667-3667 天 16 and 月 March and 年 1952 是 北歐理事會 的成立 date
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6732-6732
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7446-7446
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7447-7447
No TPTP formula. May not be expressible in strict first order. Government.kif 3664-3664 例 北歐理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3669-3669 文化合作 是 北歐理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3668-3668 經濟合作 是 北歐理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3670-3670 環境合作 是 北歐理事會 的 organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3666-3666 北歐理事會 是 "NC" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3665-3665 北歐理事會 是 "Nordic Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40911-40911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40910-40910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40909-40909


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