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 is a subclass of proposition |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3144-3144 | Air pollution- nitrogen oxides protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3150-3150 | Air pollution- peristent organic pollutants protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3155-3155 | Air pollution- sulphur85 protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3161-3161 | Air pollution- sulphur94 protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3166-3166 | Air pollution- volatile organic compounds protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3138-3138 | Air pollution convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3172-3172 | Antarctic- environmental protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3177-3177 | Antarctic- marine living resources convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3184-3184 | Antarctic seals convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3190-3190 | Antarctic treaty is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3204-3204 | Biodiversity convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3214-3214 | Climate change- kyoto protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3208-3208 | Climate change convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3222-3222 | Desertification convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3229-3229 | Endangered species convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3237-3237 | Environmental modification convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3244-3244 | Hazardous wastes convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3252-3252 | Law of the sea convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3259-3259 | Marine dumping convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3267-3267 | Marine life conservation convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3274-3274 | Nuclear test ban treaty is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3281-3281 | Ozone layer protection protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3289-3289 | Ship pollution protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3297-3297 | Tropical timber83 agreement is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3303-3303 | Tropical timber94 agreement is an instance of 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 | The number 1 argument of agreement organization is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14069-14069 | The number 3 argument of agreement clause is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14024-14024 | The number 1 argument of agreement effective date is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14049-14049 | The number 1 argument of expiration date is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14010-14010 | The number 1 argument of agreement period is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 503-503 | The number 3 argument of contracted rental price is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 271-271 | The number 3 argument of negotiated price is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2586-2586 | The number 1 argument of option holder is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2599-2599 | The number 1 argument of option seller is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13999-13999 | The number 2 argument of party to agreement is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2721-2721 | The number 1 argument of premium is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Law.kif 502-502 | The number 2 argument of record for agreement is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2739-2739 | The number 1 argument of underlier is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3105-3105 | The number 2 argument of unratified signatory to agreement is an instance of 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 |
|