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 2732-2732 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 3037-3037 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 3438-3438 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 3509-3509 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 3601-3601 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 3876-3876 Humanitarian aid is an organizational objective of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2733-2733 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