|
|
  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 | HumanitarianAid est un sous-attribut de HumanitarianAssistance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3037-3037 | organizationalObjective CouncilOfTheBalticSeaStates and HumanitarianAid |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3438-3438 | organizationalObjective InternationalCommitteeOfTheRedCross and HumanitarianAid |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3509-3509 | organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties and HumanitarianAid |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3601-3601 | organizationalObjective InternationalRedCrossAndRedCrescentMovement and HumanitarianAid |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3876-3876 | organizationalObjective UnitedNations and HumanitarianAid |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2733-2733 | FoodAid est un sous-attribut de HumanitarianAid |
| 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 |
|
|
|
