appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13805-13809 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13804-13804 | Agreement is a subclass of proposition |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3077-3077 | Air pollution- nitrogen oxides protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3083-3083 | Air pollution- peristent organic pollutants protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3088-3088 | Air pollution- sulphur85 protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3094-3094 | Air pollution- sulphur94 protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3099-3099 | Air pollution- volatile organic compounds protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3071-3071 | Air pollution convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3105-3105 | Antarctic- environmental protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3110-3110 | Antarctic- marine living resources convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3117-3117 | Antarctic seals convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3123-3123 | Antarctic treaty is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3137-3137 | Biodiversity convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3147-3147 | Climate change- kyoto protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3141-3141 | Climate change convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3155-3155 | Desertification convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3162-3162 | Endangered species convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3170-3170 | Environmental modification convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3177-3177 | Hazardous wastes convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3185-3185 | Law of the sea convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3192-3192 | Marine dumping convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3200-3200 | Marine life conservation convention is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3207-3207 | Nuclear test ban treaty is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3214-3214 | Ozone layer protection protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3222-3222 | Ship pollution protocol is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3230-3230 | Tropical timber83 agreement is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3236-3236 | 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 2989-2989 | 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 13916-13916 | 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 13871-13871 | 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 13896-13896 | 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 13857-13857 | 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 2600-2600 | 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 2613-2613 | 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 13846-13846 | 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 2735-2735 | The number 1 argument of premium is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Law.kif 549-549 | 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 2752-2752 | The number 1 argument of underlier is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3038-3038 | 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 13819-13825 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13812-13817 |
|
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 3058-3065 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13960-13962 |
|
![]() |
![]() |