agreement

IRI: https://spec.industrialontologies.org/ontology/construct/Agreement

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: information content entity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › agreement

Direct subclasses:

• commercial service agreement
• purchase order

Definition

understanding between two or more parties that contains a set of commitments on the part of the parties

Examples

• prenuptial agreement; memorandum of understanding; non-disclosure agreement; employment agreement; purchase order that has been confirmed by the seller by e-mail; handshake agreement to buy something in the State of Florida, which happens to be legally-binding in that juristiction provided certain evidence can be produced

Adapted From

• FIBO https://spec.edmcouncil.org/fibo/ontology/FND/Agreements/Agreements, term by the same name

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

In addition to the general discussion provided for information content enty,there are insufficient constructs to create necessary and sufficient conditions. Namely, patterns surrounding commitment and party need to be established

Formal Axioms

First-Order Logic Axioms

Agreement(x) → InformationContentEntity(x) ∧ ∃o(ObjectiveSpecification(o) ∧ hasContinuantPartAtAllTimes(x,o))

Semi-Formal Natural Language Axioms

if x is an ‘agreement’ then x is an ‘information content entity’ that ‘has continuant part at all times’ some ‘objective specification’

Description Logic

constr:Agreement ⊑ constr:InformationContentEntity

constr:Agreement ⊑ ∃ bfo:has_continuant_part_at_all_times .constr:ObjectiveSpecification

SubClassOf: constr:InformationContentEntity

SubClassOf: bfo:has_continuant_part_at_all_times some constr:ObjectiveSpecification