SpecificationOfFpo¶

Description

Definition

../../_images/SpecificationOfFpo.svg

SpecificationOfFpo(x1, x2) <->
    ClassOfArrangedIndividual(x1) &
    FunctionalPhysicalObject(x2) &
    MMT:ClassificationOfIndividual(x2, x1) .

Roles

hasSpecification
hasFpo

Restrictions

Role filler of hasSpecification must have entity type ClassOfArrangedIndividual.
Role filler of hasFpo must have entity type FunctionalPhysicalObject.