|
|
   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 e' uma sub-classe de Proposicao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3144-3144 | AirPollution-NitrogenOxidesProtocol e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3150-3150 | AirPollution-PeristentOrganicPollutantsProtocol e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3155-3155 | AirPollution-Sulphur85Protocol e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3161-3161 | AirPollution-Sulphur94Protocol e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3166-3166 | AirPollution-VolatileOrganicCompoundsProtocol e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3138-3138 | AirPollutionConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3172-3172 | Antarctic-EnvironmentalProtocol e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3177-3177 | Antarctic-MarineLivingResourcesConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3184-3184 | AntarcticSealsConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3190-3190 | AntarcticTreaty e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3204-3204 | BiodiversityConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3214-3214 | ClimateChange-KyotoProtocol e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3208-3208 | ClimateChangeConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3222-3222 | DesertificationConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3229-3229 | EndangeredSpeciesConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3237-3237 | EnvironmentalModificationConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3244-3244 | HazardousWastesConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3252-3252 | LawOfTheSeaConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3259-3259 | MarineDumpingConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3267-3267 | MarineLifeConservationConvention e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3274-3274 | NuclearTestBanTreaty e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3281-3281 | OzoneLayerProtectionProtocol e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3289-3289 | ShipPollutionProtocol e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3297-3297 | TropicalTimber83Agreement e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3303-3303 | TropicalTimber94Agreement e' uma instancia 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 | O argumento numero 1 de AgreementOrganizationFn e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14069-14069 | O argumento numero 3 de agreementClause e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14024-14024 | O argumento numero 1 de agreementEffectiveDate e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14049-14049 | O argumento numero 1 de agreementExpirationDate e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14010-14010 | O argumento numero 1 de agreementPeriod e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 503-503 | O argumento numero 3 de contractedRentalPrice e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 271-271 | O argumento numero 3 de negotiatedPrice e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2586-2586 | O argumento numero 1 de optionHolder e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2599-2599 | O argumento numero 1 de optionSeller e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13999-13999 | O argumento numero 2 de partyToAgreement e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2721-2721 | O argumento numero 1 de premium e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 502-502 | O argumento numero 2 de recordForAgreement e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2739-2739 | O argumento numero 1 de underlier e' uma instancia de Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3105-3105 | O argumento numero 2 de unratifiedSignatoryToAgreement e' uma instancia 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 |
|
|
|