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 子屬性 人道主義援助 and 人道主義援助

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 子屬性 糧食援助 and 人道主義援助
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