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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanitarianAid

 Sigma KEE - HumanitarianAid
HumanitarianAid(人道主义援助)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6618-6618
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7090-7090
No TPTP formula. May not be expressible in strict first order. Government.kif 2732-2732 人道主义援助 是 人道主义援助 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3037-3037 人道主义援助 是 波罗的海国家理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3438-3438 人道主义援助 是 红十字国际委员会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3509-3509 人道主义援助 是 国际红十字会和红新月会联合会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3601-3601 人道主义援助 是 国际红十字和红新月运动 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3876-3876 人道主义援助 是 联合国 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 2733-2733 粮食援助 是 人道主义援助 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28869-28869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28868-28868
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28867-28867


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