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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanRightsIssues

 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 2731-2731 人权问题 是 人道主义援助 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3030-3030 人权问题 是 欧洲理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3721-3721 人权问题 是 欧洲安全与合作组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3980-3980 人权问题 是 联合国人权事务高级专员 的 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