|
|
  UnitedNationsInterimForceInLebanon
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4047-4047 | dateEstablished UnitedNationsInterimForceInLebanon and le jour 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 est une instance 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 est une partie de l'organization 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 |
|
|
|
