|
|
   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 | Outubro e' uma sub-classe de Mes |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9055-9055 | successorClass Outubro and Novembro |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9054-9054 | successorClass Setembro and Outubro |
| 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 o dia 18 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3265-3265 | dateEstablished FoodAndAgricultureOrganization and o dia 16 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3323-3323 | dateEstablished GroupOf10 and o mes Outubro |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3307-3307 | dateEstablished GroupOf8 and o mes Outubro |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | dateEstablished InternationalAtomicEnergyAgency and o dia 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3632-3632 | dateEstablished LatinAmericanEconomicSystem and o dia 17 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4087-4087 | dateEstablished UnitedNationsMissionInSierraLeone and o dia 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4237-4237 | dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and o dia 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4274-4274 | dateEstablished UniversalPostalUnion and o dia 9 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4313-4313 | dateEstablished WesternEuropeanUnion and o dia 23 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4338-4338 | dateEstablished WorldFederationOfTradeUnions and o dia 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4362-4362 | dateEstablished WorldMeteorologicalOrganization and o dia 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | Posicao Temporal e' uma instancia de o dia 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vale durante imediatemente apos Posicao Temporal |
|
|
|
