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 6619-6619
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7091-7091
No TPTP formula. May not be expressible in strict first order. Government.kif 2718-2718 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 3018-3018 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 3419-3419 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 3490-3490 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 3582-3582 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 3857-3857 Humanitarian aid is an organizational objective of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2719-2719 Food aid is a subattribute of humanitarian aid
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28860-28860
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28859-28859
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28858-28858


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