|
|
   October
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2804-2804 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9209-9209 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1545-1545 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4935-4935 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9207-9207 | Octobre est une sous-classe de mois |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9055-9055 | successorClass Octobre and Novembre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9054-9054 | successorClass Septembre and Octobre |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1286-1286 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1789-1789 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 964-964 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 499-499 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 503-503 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2648-2648 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 916-916 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 505-505 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 539-539 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 985-985 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 504-504 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9215-9219 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9201-9205 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9211-9213 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2935-2935 | dateEstablished CaribbeanDevelopmentBank and le jour 18 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3265-3265 | dateEstablished FoodAndAgricultureOrganization and le jour 16 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3323-3323 | dateEstablished GroupOf10 and le moi Octobre |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3307-3307 | dateEstablished GroupOf8 and le moi Octobre |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | dateEstablished InternationalAtomicEnergyAgency and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3632-3632 | dateEstablished LatinAmericanEconomicSystem and le jour 17 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4087-4087 | dateEstablished UnitedNationsMissionInSierraLeone and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4237-4237 | dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4274-4274 | dateEstablished UniversalPostalUnion and le jour 9 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4313-4313 | dateEstablished WesternEuropeanUnion and le jour 23 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4338-4338 | dateEstablished WorldFederationOfTradeUnions and le jour 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4362-4362 | dateEstablished WorldMeteorologicalOrganization and le jour 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | Position temporel est une instance de le jour 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations pendant immediatement apr�s position temporel |
|
|
|
