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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3126-3126	Air pollution convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3132-3132	Air pollution- nitrogen oxides protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3138-3138	Air pollution- peristent organic pollutants protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3143-3143	Air pollution- sulphur85 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3149-3149	Air pollution- sulphur94 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3154-3154	Air pollution- volatile organic compounds protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3172-3172	Antarctic seals convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3178-3178	Antarctic treaty is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3160-3160	Antarctic_ environmental protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3165-3165	Antarctic_ marine living resources convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3192-3192	Biodiversity convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3196-3196	Climate change convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3202-3202	Climate change- kyoto protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3210-3210	Desertification convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3217-3217	Endangered species convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3225-3225	Environmental modification convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3232-3232	Hazardous wastes convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3240-3240	Law of the sea convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3247-3247	Marine dumping convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3255-3255	Marine life conservation convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3262-3262	Nuclear test ban treaty is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3269-3269	Ozone layer protection protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3277-3277	Ship pollution protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3285-3285	Tropical timber83 agreement is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3291-3291	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 3044-3044	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 14925-14925	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 14880-14880	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 14905-14905	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 14866-14866	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 14855-14855	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 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 2753-2753	The number 1 argument of underlier is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3093-3093	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 14828-14834	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 14821-14826	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 3113-3120	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 14969-14971	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: