disposition to exhibit undesirable behavior

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

Defined In: https://spec.industrialontologies.org/ontology/maintenance/Maintenance/

SubClass Of: undesireable disposition

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › undesireable disposition › disposition to exhibit undesirable behavior

Definition

disposition of an item that would not be expected under normal operating conditions

Examples

• overspeed, excessive noise

Primitive Class

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

Primitive Rationale

the item may or may not exhibit this behavior hence this is difficult to define clearly

Formal Axioms

First-Order Logic Axioms

LA1: DispositionToUndesirableBehavior(x) → UndesirableDisposition(x)

LA2: ∀p(DispositionToExibitUndesirableBehavior(d) ∧ Process(p) ∧ realizes(p, d) → ¬ FailureProcess(p))

Semi-Formal Natural Language Axioms

LA1: if x is a ‘disposition to undesirable behavior’ then x is a ‘undesirable disposition’

LA2: if x is a ‘disposition to undesirable behavior’ and x ‘realizes’ some ‘process’ p then p is not a ‘failure process’

Description Logic

constr:DispositionToExhibitUndesirableBehavior ⊑ constr:UndesireableDisposition

constr:DispositionToExhibitUndesirableBehavior ⊑ ∀ bfo:has_realization .¬ constr:FailureProcess

SubClassOf: constr:UndesireableDisposition

SubClassOf: bfo:has_realization only not constr:FailureProcess