| UnitedNationsInterimForceInLebanon(united nations interim force in lebanon)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4047-4047 | The day 19 is a date established of united nations interim force in lebanon |
| 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 | United nations interim force in lebanon is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4049-4049 | Observation and monitoring is an organizational objective of united nations interim force in lebanon |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4048-4048 | Transitional administration is an organizational objective of united nations interim force in lebanon |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4188-4188 | United nations interim force in lebanon is a part of the organization united nations security council |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4046-4046 | "UNIFIL" is an abbreviation of united nations interim force in lebanon |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4045-4045 | United nations interim force in lebanon is a conventional long name of "United Nations Interim Force in Lebanon" |
| 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 |
|
|
|