Agreement - Sigma Knowledge base Browser

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	If a process is an instance of reaching agreement and an agent is an agent of the process and an entity is a result of the process and the entity is an instance of agreement, then the entity is a party to agreement of the agent holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13819-13825	If an agreement is an instance of agreement, then there exist a cognitive agent and another cognitive agent such that the agreement is a party to agreement of the cognitive agent and the agreement is a party to agreement of the other cognitive agent and the cognitive agent is not equal to the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13812-13817	If an entity is an instance of agreement, then there exists another entity such that the other entity is an instance of committing and the other entity expresses the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 146-151	If a process is an instance of reaching agreement, then there exists an entity such that the entity is an instance of agreement and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3058-3065	If a process is an instance of signing an agreement, then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of linguistic expression and the proposition is an instance of agreement and the content bearing physical contains information the proposition and the content bearing physical is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13960-13962	If an entity the attribute active agreement, then the entity is an instance of agreement

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: