dateEstablished |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 980-983 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 978-978 | Le nombre 1 argument de dateEstablished est une instance de physique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 979-979 | Le nombre 2 argument de dateEstablished est une sous-classe de position temporel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 977-977 | dateEstablished est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 652-652 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 651-651 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 650-650 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18618-18618 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18617-18617 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18616-18616 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 985-990 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 960-963 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2877-2877 | dateEstablished ASEANRegionalForum and l' ann�e 1994 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | dateEstablished AfricanCaribbeanAndPacificGroupOfStates and le jour 6 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2757-2757 | dateEstablished AfricanDevelopmentBank and le jour 4 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2771-2771 | dateEstablished AgencyForTheFrenchSpeakingCommunity and le jour 20 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2778-2778 | dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and le jour 14 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2796-2796 | dateEstablished AndeanCommunityOfNations and le jour 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | dateEstablished AntarcticTreatyCouncil and le jour 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2812-2812 | dateEstablished ArabBankForEconomicDevelopmentInAfrica and le jour 18 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2818-2818 | dateEstablished ArabCooperationCouncil and le jour 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | dateEstablished ArabFundForEconomicAndSocialDevelopment and le jour 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2833-2833 | dateEstablished ArabLeague and le jour 22 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2842-2842 | dateEstablished ArabMaghrebUnion and le jour 17 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2851-2851 | dateEstablished ArabMonetaryFund and le jour 27 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2857-2857 | dateEstablished AsiaPacificEconomicCooperation and le jour 7 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2863-2863 | dateEstablished AsianDevelopmentBank and le jour 19 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2869-2869 | dateEstablished AssociationOfSoutheastAsianNations and le jour 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2883-2883 | dateEstablished AustraliaGroup and l' ann�e 1984 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2889-2889 | dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and le jour 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2895-2895 | dateEstablished BankForInternationalSettlements and le jour 20 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | dateEstablished BeneluxEconomicUnion and le jour 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2909-2909 | dateEstablished BigSeven and l' ann�e 1975 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2914-2914 | dateEstablished BigSix and l' ann�e 1967 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | dateEstablished BlackSeaEconomicCooperationZone and le jour 25 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2928-2928 | dateEstablished CaribbeanCommunityAndCommonMarket and le jour 4 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2935-2935 | dateEstablished CaribbeanDevelopmentBank and le jour 18 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |