agreementClause - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11695-11698
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11701-11701	The number 1 argument of agreement clause is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11702-11702	The number 2 argument of agreement clause is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11703-11703	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 11704-11704	The number 4 argument of agreement clause is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11694-11694	agreement clause is an instance of quaternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2723-2723
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2722-2722
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2721-2721
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11699-11699

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11706-11711	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement, then there exists a content bearing physical such that the content bearing physical contains information the proposition and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11734-11740	If a cognitive agent has the responsibility to make a proposition permission in an agreement, then the cognitive agent has the right to perform there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11725-11732	If a cognitive agent has the responsibility to make a proposition prohibition in an agreement, then the cognitive agent doesn't have the right to perform there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11713-11723	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and the deontic attribute is equal to obligation or the deontic attribute is equal to promise, then the statement there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of likely

consequent

No TPTP formula. May not be expressible in strict first order.

Catalog.kif 295-309

If the price negotiated for a kind of entity in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent,
then there exists another entity such that the cognitive agent has the responsibility to make
- if the other entity is an instance of buying and a third entity is a patient of the other entity and the third entity is an immediate instance of a kind of entity and the other cognitive agent is an agent of the other entity and the other entity originates at the cognitive agent,
- then the currency measure is a transaction amount of the other entity
obligation in the 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: