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 e' um sub-atributo 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 e' um sub-atributo 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 |