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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanitarianAid
HumanitarianAid(humanitarian aid)

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 2696-2696 Humanitarian aid is a subattribute of humanitarian assistance

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3001-3001 Humanitarian aid is an organizational objective of council of the baltic sea states
No TPTP formula. May not be expressible in strict first order. Government.kif 3402-3402 Humanitarian aid is an organizational objective of international committee of the red cross
No TPTP formula. May not be expressible in strict first order. Government.kif 3473-3473 Humanitarian aid is an organizational objective of international federation of red cross and red crescent societies
No TPTP formula. May not be expressible in strict first order. Government.kif 3565-3565 Humanitarian aid is an organizational objective of international red cross and red crescent movement
No TPTP formula. May not be expressible in strict first order. Government.kif 3840-3840 Humanitarian aid is an organizational objective of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2697-2697 Food aid is a subattribute of humanitarian aid
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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