Complete Diagram
Topology Diagram
Mereology Diagram
Part Diagrams
Classes
_:Thing
bfo:entity
Details
Annotations
- definition: (Elucidation) An entity is anything that exists or has existed or will exist
- example: Julius Caesar, the Second World War, your body mass index, Verdi's Requiem.
- label: entity
- prefLabel: entity
bfo:continuant
Details
Annotations
- definition: (Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity
- example: A human being, a tennis ball, a cave, a region of space, someone's temperature.
- label: continuant
- prefLabel: continuant
Axioms
- bfo:continuant ⊑ bfo:entity
- bfo:continuant ⊑ ∀ bfo:continuant_part_of_at_some_time .bfo:continuant
- bfo:continuant ⊓ bfo:occurrent ⊑ ⊥
bfo:independent_continuant
Details
Annotations
- definition: b is an independent continuant =Def b is a continuant which is such that there is no c such that b s-depends on c and no c such that b g-depends on c
- example: An atom, a molecule, an organism, a heart, a chair, the bottom right portion of a human torso, a leg; the interior of your mouth; a spatial region; an orchestra.
- label: independent continuant
- prefLabel: independent continuant
Axioms
- bfo:independent_continuant ⊑ bfo:continuant
- bfo:independent_continuant ⊑ ∀ bfo:continuant_part_of_at_some_time .bfo:independent_continuant
- bfo:independent_continuant ⊓ bfo:generically_dependent_continuant ⊑ ⊥
- bfo:independent_continuant ⊓ bfo:specifically_dependent_continuant ⊑ ⊥
bfo:specifically_dependent_continuant
Details
Annotations
- definition: b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b s-depends on c
- example: (with one bearer) The mass of this tomato, the pink colour of a medium rare piece of grilled filet mignon at its centre, the smell of this portion of mozzarella, the disposition of this fish to decay, the role of being a doctor, the function of this heart: to pump blood, the shape of this hole; (with multiple bearers:) John's love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates.
- label: specifically dependent continuant
- prefLabel: specifically dependent continuant
- scopeNote: On the multiple bearers case, see relational quality.
Axioms
- bfo:specifically_dependent_continuant ⊑ bfo:continuant
- bfo:specifically_dependent_continuant ⊓ bfo:generically_dependent_continuant ⊑ ⊥
- bfo:specifically_dependent_continuant ⊓ bfo:independent_continuant ⊑ ⊥
Instances
- data.OKUMA123456Capability
- data.OKUMA123456structx_axisCapability
- data.OKUMA123456structy_axisCapability
- data.OKUMA123456structz1_axisCapability
- data.OKUMA123456structz4_axisCapability
- data.OKUMA123456structb_axisCapability
- data.OKUMA123456structc1_axisCapability
- data.OKUMA123456structc2_axisCapability
- data.OKUMA123456AxesXCapability
- data.OKUMA123456AxesYCapability
- data.OKUMA123456AxesZ1Capability
- data.OKUMA123456AxesBCapability
- data.OKUMA123456AxesC1Capability
- data.OKUMA123456AxesC1lc1chuckCapability
- data.OKUMA123456AxesZ4Capability
- data.OKUMA123456AxesC2Capability
- data.OKUMA123456AxesC2lc2chuckCapability
- data.OKUMA123456AxesC3Capability
- data.OKUMA123456AxesC6Capability
- data.OKUMA123456ControllerCapability
- data.OKUMA123456ControllerpathCapability
- data.OKUMA123456Systems1CoolantSystem1Capability
- data.OKUMA123456Systems1ElectricSystem1Capability
- data.OKUMA123456Systems1HydraulicSystem1Capability
- data.OKUMA123456Systems1LubricationSystem1Capability
- data.OKUMA123456Systems1PneumaticSystem1Capability
- data.OKUMA123456LAux1LoaderSystem1Capability
- data.OKUMA123456LAux1WasteDisposalSystem1Capability
- data.OKUMA123456LAux1ToolingDeliverySystem1Capability
- data.OKUMA123456LAux1BarFeederSystem1Capability
- data.OKUMA123456enclosureCapability
- data.OKUMA123456EquipmentRole
- data.OKUMA123456AxesBANGLE_ACTUAL
- data.OKUMA123456AxesC3ANGLE_ACTUAL
- data.OKUMA123456enclosureMaterialArtifactRole
- data.OKUMA123456AxesC1ContinuousRevoluteCapability
- data.OKUMA123456EngineeredSystemRole
- data.OKUMA123456ControllerEngineeredSystemRole
- data.OKUMA123456ControllerpathEngineeredSystemRole
- data.OKUMA123456Systems1CoolantSystem1EngineeredSystemRole
- data.OKUMA123456Systems1ElectricSystem1EngineeredSystemRole
- data.OKUMA123456Systems1HydraulicSystem1EngineeredSystemRole
- data.OKUMA123456Systems1LubricationSystem1EngineeredSystemRole
- data.OKUMA123456Systems1PneumaticSystem1EngineeredSystemRole
- data.OKUMA123456AxesXPOSITION_ACTUAL
- data.OKUMA123456AxesYPOSITION_ACTUAL
- data.OKUMA123456AxesZ1POSITION_ACTUAL
- data.OKUMA123456AxesZ4POSITION_ACTUAL
- data.OKUMA123456AxesBIndexedRevoluteCapability
- data.OKUMA123456AxesC2IndexedRevoluteCapability
- data.OKUMA123456AxesC3IndexedRevoluteCapability
- data.OKUMA123456AxesXPrismaticMotionCapability
- data.OKUMA123456AxesYPrismaticMotionCapability
- data.OKUMA123456AxesZ1PrismaticMotionCapability
- data.OKUMA123456AxesZ4PrismaticMotionCapability
- data.OKUMA123456enclosureTEMPERATURE
- data.OKUMA123456ControllerpathPATH_POSITION_ACTUAL
bfo:quality
Details
Annotations
- definition: (Elucidation) a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized
- example: The colour of a tomato, the ambient temperature of this portion of air, the length of the circumference of your waist, the shape of your nose, the shape of your nostril, the mass of this piece of gold.
- label: quality
- prefLabel: quality
Axioms
- bfo:quality ⊑ bfo:specifically_dependent_continuant
- bfo:quality ⊓ bfo:realizable_entity ⊑ ⊥
Instances
- data.OKUMA123456AxesBANGLE_ACTUAL
- data.OKUMA123456AxesC3ANGLE_ACTUAL
- data.OKUMA123456AxesXPOSITION_ACTUAL
- data.OKUMA123456AxesYPOSITION_ACTUAL
- data.OKUMA123456AxesZ1POSITION_ACTUAL
- data.OKUMA123456AxesZ4POSITION_ACTUAL
- data.OKUMA123456enclosureTEMPERATURE
- data.OKUMA123456ControllerpathPATH_POSITION_ACTUAL
mtc:Length
OKUMA:OKUMAMULT_U3000AxesXLength
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesXLength ⊑ mtc:Length
- OKUMA:OKUMAMULT_U3000AxesXLength ⊑ ∃ constr:hasMeasuredValueAtSomeTime .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 650.0 , ≥ 650.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesYLength
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesYLength ⊑ mtc:Length
- OKUMA:OKUMAMULT_U3000AxesYLength ⊑ ∃ constr:hasMeasuredValueAtSomeTime .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 650.0 , ≥ 650.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesZ1Length
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesZ1Length ⊑ mtc:Length
- OKUMA:OKUMAMULT_U3000AxesZ1Length ⊑ ∃ constr:hasMeasuredValueAtSomeTime .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 650.0 , ≥ 650.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesZ4Length
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesZ4Length ⊑ mtc:Length
- OKUMA:OKUMAMULT_U3000AxesZ4Length ⊑ ∃ constr:hasMeasuredValueAtSomeTime .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 650.0 , ≥ 650.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
mtc:Force
OKUMA:OKUMAMULT_U3000AxesXLinear_force
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesXLinear_force ⊑ mtc:Force
- OKUMA:OKUMAMULT_U3000AxesXLinear_force ⊑ ∃ constr:hasMeasuredValueAtSomeTime .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 5200.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesYLinear_force
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesYLinear_force ⊑ mtc:Force
- OKUMA:OKUMAMULT_U3000AxesYLinear_force ⊑ ∃ constr:hasMeasuredValueAtSomeTime .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 5200.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesZ1Linear_force
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesZ1Linear_force ⊑ mtc:Force
- OKUMA:OKUMAMULT_U3000AxesZ1Linear_force ⊑ ∃ constr:hasMeasuredValueAtSomeTime .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 5200.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesZ4Linear_force
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesZ4Linear_force ⊑ mtc:Force
- OKUMA:OKUMAMULT_U3000AxesZ4Linear_force ⊑ ∃ constr:hasMeasuredValueAtSomeTime .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 5200.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
bfo:occurrent
Details
Annotations
- definition: (Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region
- example: As for process, history, process boundary, spatiotemporal region, zero-dimensional temporal region, one-dimensional temporal region, temporal interval, temporal instant.
- label: occurrent
- prefLabel: occurrent
Axioms
- bfo:occurrent ⊑ bfo:entity
- bfo:occurrent ⊓ bfo:continuant ⊑ ⊥
Instances
- data.OKUMA123456AxesC1lc1chuckCHUCK_STATE
- data.OKUMA123456AxesC2lc2chuckCHUCK_STATE
- data.OKUMA123456ControllerCONTROLLER_MODE
- data.OKUMA123456ControllerEXECUTION
- data.OKUMA123456AxesC1ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC1ROTARY_VELOCITY_PROGRAMMED
- data.OKUMA123456AxesC2ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC2ROTARY_VELOCITY_PROGRAMMED
- data.OKUMA123456AxesC6ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC6ROTARY_VELOCITY_PROGRAMMED
bfo:process
Details
Annotations
- definition: (Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant at t
- example: An act of selling, the life of an organism, a process of sleeping, a process of cell-division, a beating of the heart, a process of meiosis, the taxiing of an aircraft, the programming of a computer.
- label: process
- prefLabel: process
Axioms
- bfo:process ⊑ bfo:occurrent
- bfo:process ⊑ ∀ bfo:occurrent_part_of .bfo:process
- bfo:process ⊑ ∀ bfo:temporal_part_of .bfo:process
- bfo:process ⊑ ∀ bfo:has_occurrent_part .(bfo:process ⊔ bfo:process_boundary)
- bfo:process ⊓ bfo:temporal_region ⊑ ⊥
- bfo:process ⊓ bfo:process_boundary ⊑ ⊥
- bfo:process ⊓ bfo:spatiotemporal_region ⊑ ⊥
Instances
- data.OKUMA123456AxesC1lc1chuckCHUCK_STATE
- data.OKUMA123456AxesC2lc2chuckCHUCK_STATE
- data.OKUMA123456ControllerCONTROLLER_MODE
- data.OKUMA123456ControllerEXECUTION
- data.OKUMA123456AxesC1ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC1ROTARY_VELOCITY_PROGRAMMED
- data.OKUMA123456AxesC2ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC2ROTARY_VELOCITY_PROGRAMMED
- data.OKUMA123456AxesC6ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC6ROTARY_VELOCITY_PROGRAMMED
mtc:ProcessProfile
Details
Instances
- data.OKUMA123456AxesC1ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC1ROTARY_VELOCITY_PROGRAMMED
- data.OKUMA123456AxesC2ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC2ROTARY_VELOCITY_PROGRAMMED
- data.OKUMA123456AxesC6ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC6ROTARY_VELOCITY_PROGRAMMED
mtc:Velocity
Details
Instances
- data.OKUMA123456AxesC1ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC1ROTARY_VELOCITY_PROGRAMMED
- data.OKUMA123456AxesC2ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC2ROTARY_VELOCITY_PROGRAMMED
- data.OKUMA123456AxesC6ROTARY_VELOCITY_ACTUAL
- data.OKUMA123456AxesC6ROTARY_VELOCITY_PROGRAMMED
mtc:PrismaticVelocity
Details
Annotations
- label: Prismatic Velocity
mtc:PrismaticRapidVelocity
Details
Annotations
- label: Prismatic Rapid Velocity
OKUMA:OKUMAMULT_U3000AxesXVelocityRapid
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesXVelocityRapid ⊑ mtc:PrismaticRapidVelocity
- OKUMA:OKUMAMULT_U3000AxesXVelocityRapid ⊑ ∃ constr:hasSpecifiedOutput .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 7000.0 , ≥ 1.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesYVelocityRapid
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesYVelocityRapid ⊑ mtc:PrismaticRapidVelocity
- OKUMA:OKUMAMULT_U3000AxesYVelocityRapid ⊑ ∃ constr:hasSpecifiedOutput .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 7000.0 , ≥ 1.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesZ1VelocityRapid
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesZ1VelocityRapid ⊑ mtc:PrismaticRapidVelocity
- OKUMA:OKUMAMULT_U3000AxesZ1VelocityRapid ⊑ ∃ constr:hasSpecifiedOutput .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 7000.0 , ≥ 1.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesZ4VelocityRapid
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesZ4VelocityRapid ⊑ mtc:PrismaticRapidVelocity
- OKUMA:OKUMAMULT_U3000AxesZ4VelocityRapid ⊑ ∃ constr:hasSpecifiedOutput .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 7000.0 , ≥ 1.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesXVelocityProgrammed
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesXVelocityProgrammed ⊑ mtc:PrismaticVelocity
- OKUMA:OKUMAMULT_U3000AxesXVelocityProgrammed ⊑ ∃ constr:hasSpecifiedOutput .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 7000.0 , ≥ 1.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesYVelocityProgrammed
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesYVelocityProgrammed ⊑ mtc:PrismaticVelocity
- OKUMA:OKUMAMULT_U3000AxesYVelocityProgrammed ⊑ ∃ constr:hasSpecifiedOutput .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 7000.0 , ≥ 1.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesZ1VelocityProgrammed
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesZ1VelocityProgrammed ⊑ mtc:PrismaticVelocity
- OKUMA:OKUMAMULT_U3000AxesZ1VelocityProgrammed ⊑ ∃ constr:hasSpecifiedOutput .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 7000.0 , ≥ 1.0] ⊓ ∀ mtc:hasUnit .unit:Unit)
OKUMA:OKUMAMULT_U3000AxesZ4VelocityProgrammed
Details
Axioms
- OKUMA:OKUMAMULT_U3000AxesZ4VelocityProgrammed ⊑ mtc:PrismaticVelocity
- OKUMA:OKUMAMULT_U3000AxesZ4VelocityProgrammed ⊑ ∃ constr:hasSpecifiedOutput .(constr:MeasuredValueExpression ⊓ ∃ constr:hasSimpleExpressionValue .float[≤ 7000.0 , ≥ 1.0] ⊓ ∀ mtc:hasUnit .unit:Unit)