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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BarMitzvah

 Sigma KEE - HumanRightsIssues
HumanRightsIssues(人權問題)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8529-8529
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9313-9313
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9314-9314
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9316-9316
No TPTP formula. May not be expressible in strict first order. Government.kif 2695-2695 子屬性 人權問題 and 人道主義援助

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2994-2994 人權問題 是 歐洲理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3685-3685 人權問題 是 歐洲安全與合作組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3944-3944 人權問題 是 聯合國人權事務高級專員 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28887-28887
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28886-28886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28885-28885


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