Agreement |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13985-13989 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13984-13984 | 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 14096-14096 | 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 14051-14051 | 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 14076-14076 | 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 14037-14037 | 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 14026-14026 | 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 13999-14005 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13992-13997 |
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 14140-14142 |