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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanitarianAssistance

Sigma KEE - HumanitarianAssistance
HumanitarianAssistance

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2694-2694 HumanitarianAssistance est une instance de TransnationalIssue
No TPTP formula. May not be expressible in strict first order. Government.kif 2685-2685 HumanitarianAssistance est un sous-attribut de SocialCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3985-3985 organizationalObjective UnitedNationsHighCommissionerForRefugees and HumanitarianAssistance
No TPTP formula. May not be expressible in strict first order. Government.kif 4005-4005 organizationalObjective UnitedNationsInterimAdminstrationMissionInKosovo and HumanitarianAssistance
No TPTP formula. May not be expressible in strict first order. Government.kif 4203-4203 organizationalObjective UnitedNationsTransitionalAdministrationInEastTimor and HumanitarianAssistance
No TPTP formula. May not be expressible in strict first order. Government.kif 2695-2695 HumanRightsIssues est un sous-attribut de HumanitarianAssistance
No TPTP formula. May not be expressible in strict first order. Government.kif 2696-2696 HumanitarianAid est un sous-attribut de HumanitarianAssistance
No TPTP formula. May not be expressible in strict first order. Government.kif 2698-2698 RefugeeAssistance est un sous-attribut de HumanitarianAssistance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28875-28875
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28874-28874
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28873-28873


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