|
|
   Agreement
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13958-13962 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13957-13957 | Agreement est une sous-classe de proposition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3144-3144 | AirPollution-NitrogenOxidesProtocol est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3150-3150 | AirPollution-PeristentOrganicPollutantsProtocol est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3155-3155 | AirPollution-Sulphur85Protocol est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3161-3161 | AirPollution-Sulphur94Protocol est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3166-3166 | AirPollution-VolatileOrganicCompoundsProtocol est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3138-3138 | AirPollutionConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3172-3172 | Antarctic-EnvironmentalProtocol est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3177-3177 | Antarctic-MarineLivingResourcesConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3184-3184 | AntarcticSealsConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3190-3190 | AntarcticTreaty est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3204-3204 | BiodiversityConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3214-3214 | ClimateChange-KyotoProtocol est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3208-3208 | ClimateChangeConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3222-3222 | DesertificationConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3229-3229 | EndangeredSpeciesConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3237-3237 | EnvironmentalModificationConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3244-3244 | HazardousWastesConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3252-3252 | LawOfTheSeaConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3259-3259 | MarineDumpingConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3267-3267 | MarineLifeConservationConvention est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3274-3274 | NuclearTestBanTreaty est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3281-3281 | OzoneLayerProtectionProtocol est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3289-3289 | ShipPollutionProtocol est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3297-3297 | TropicalTimber83Agreement est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3303-3303 | TropicalTimber94Agreement est une instance de Agreement |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3056-3056 | Le nombre 1 argument de AgreementOrganizationFn est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14069-14069 | Le nombre 3 argument de agreementClause est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14024-14024 | Le nombre 1 argument de agreementEffectiveDate est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14049-14049 | Le nombre 1 argument de agreementExpirationDate est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14010-14010 | Le nombre 1 argument de agreementPeriod est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 503-503 | Le nombre 3 argument de contractedRentalPrice est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 271-271 | Le nombre 3 argument de negotiatedPrice est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2586-2586 | Le nombre 1 argument de optionHolder est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2599-2599 | Le nombre 1 argument de optionSeller est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13999-13999 | Le nombre 2 argument de partyToAgreement est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2721-2721 | Le nombre 1 argument de premium est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 502-502 | Le nombre 2 argument de recordForAgreement est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2739-2739 | Le nombre 1 argument de underlier est une instance de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3105-3105 | Le nombre 2 argument de unratifiedSignatoryToAgreement est une instance de Agreement |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 153-160 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13972-13978 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13965-13970 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 146-151 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3125-3132 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14113-14115 |
|
|
|