|
|
   InferiorUlnarCollateralDescendingBranchArtery 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 9223-9223 | |
| 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 9221-9221 | Octobre est une sous-classe de mois |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9069-9069 | successorClass Octobre and Novembre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9068-9068 | 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 9229-9233 |
|
| 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 9225-9227 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2899-2899 | dateEstablished CaribbeanDevelopmentBank and le jour 18 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3229-3229 | dateEstablished FoodAndAgricultureOrganization and le jour 16 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3287-3287 | dateEstablished GroupOf10 and le moi Octobre |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3271-3271 | dateEstablished GroupOf8 and le moi Octobre |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3371-3371 | dateEstablished InternationalAtomicEnergyAgency and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3596-3596 | dateEstablished LatinAmericanEconomicSystem and le jour 17 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4051-4051 | dateEstablished UnitedNationsMissionInSierraLeone and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4201-4201 | dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4238-4238 | dateEstablished UniversalPostalUnion and le jour 9 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4277-4277 | dateEstablished WesternEuropeanUnion and le jour 23 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4302-4302 | dateEstablished WorldFederationOfTradeUnions and le jour 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4326-4326 | dateEstablished WorldMeteorologicalOrganization and le jour 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2755-2758 | Position temporel est une instance de le jour 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations pendant immediatement apr�s position temporel |
|
|
|
