UnitedNationsInterimForceInLebanon |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4047-4047 | dateEstablished UnitedNationsInterimForceInLebanon and o dia 19 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5672-5672 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4044-4044 | UnitedNationsInterimForceInLebanon e' uma instancia de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4049-4049 | organizationalObjective UnitedNationsInterimForceInLebanon and ObservationAndMonitoring |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4048-4048 | organizationalObjective UnitedNationsInterimForceInLebanon and TransitionalAdministration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4188-4188 | UnitedNationsInterimForceInLebanon e' uma parte da organizacao UnitedNationsSecurityCouncil |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4046-4046 | abbreviation "UNIFIL" and UnitedNationsInterimForceInLebanon |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4045-4045 | conventionalLongName "United Nations Interim Force in Lebanon" and UnitedNationsInterimForceInLebanon |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60170-60170 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60169-60169 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60168-60168 |