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 15329-15333
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15328-15328	Agreement is a subclass of proposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3296-3296	Air pollution convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3302-3302	Air pollution- nitrogen oxides protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3308-3308	Air pollution- peristent organic pollutants protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3313-3313	Air pollution- sulphur85 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3319-3319	Air pollution- sulphur94 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3324-3324	Air pollution- volatile organic compounds protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3342-3342	Antarctic seals convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3348-3348	Antarctic treaty is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3330-3330	Antarctic environmental protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3335-3335	Antarctic marine living resources convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3362-3362	Biodiversity convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3366-3366	Climate change convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3372-3372	Climate change- kyoto protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3380-3380	Desertification convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3387-3387	Endangered species convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3395-3395	Environmental modification convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3402-3402	Hazardous wastes convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3410-3410	Law of the sea convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3417-3417	Marine dumping convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3425-3425	Marine life conservation convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3432-3432	Nuclear test ban treaty is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3439-3439	Ozone layer protection protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3447-3447	Ship pollution protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3455-3455	Tropical timber83 agreement is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3461-3461	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 3214-3214	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 15440-15440	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 15395-15395	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 15420-15420	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 15381-15381	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 2603-2603	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 2616-2616	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 15370-15370	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 2738-2738	The number 1 argument of premium is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 508-508	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 2756-2756	The number 1 argument of underlier is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3263-3263	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 15343-15349	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 equal the cognitive agent and the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15336-15341	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 3283-3290	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 15484-15486	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: