Required Operation
type: ObjectProperty
domain: entity
domain: MaintenanceProcesses
domain: WorkObject
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
maturity: Provisional

Use
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceProcesses
domain: QualifiedMaintenancePerson
domain: Class
  union of: CommonMaintenancePerson
  union of: SeniorMaintenancePerson
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceProcesses
range: MaintenanceTool
range: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: qualified maintenance personnel need to use maintenance tools

hasActionOn
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceActivity
domain: MaintenanceProcesses
domain: Class
  union of: Adjustment
  union of: Check
  union of: Cleaning
  union of: Inspection
  union of: Installation
  union of: Removal
  union of: Replacement
  union of: Test
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceProcesses
range: WorkObject
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: implement the maintenance activities on work objects

hasConsumption
type: ObjectProperty
sub property of: topObjectProperty
inverse of: isConsumedIn
domain: entity
domain: MaintenanceActivity
domain: MaintenanceProcesses
domain: Class
  union of: Adjustment
  union of: Check
  union of: Cleaning
  union of: Inspection
  union of: Installation
  union of: Removal
  union of: Replacement
  union of: Test
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceMaterial
range: MaintenanceProcesses
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: maintenance activities consume maintenance materials

hasIncluded
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceComponent
domain: MaintenanceProcesses
domain: Class
  union of: AircraftControlSystem
  union of: CabinFacilitiesAndEquipments
  union of: EngineSystem
  union of: EnvironmentalControlSystem
  union of: FireProtectionSystems
  union of: FuelSystem
  union of: HydraulicSystems
  union of: LandingGearComponents
  union of: PneumaticSystem
  union of: WaterAndWasteSystems
  union of: De-Ice/Anti-IceAndDrainageSystem
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceProcesses
range: WorkObject
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: maintenance components include work objects

hasMaintenanceMeasure
type: ObjectProperty
domain: entity
domain: MaintenanceComponent
domain: MaintenanceProcesses
domain: Class
  union of: AircraftControlSystem
  union of: CabinFacilitiesAndEquipments
  union of: EngineSystem
  union of: EnvironmentalControlSystem
  union of: FireProtectionSystems
  union of: FuelSystem
  union of: HydraulicSystems
  union of: LandingGearComponents
  union of: PneumaticSystem
  union of: WaterAndWasteSystems
  union of: De-Ice/Anti-IceAndDrainageSystem
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
maturity: Provisional

hasPart
type: ObjectProperty
sub property of: topObjectProperty
inverse of: isPartOf
domain: entity
domain: MaintenancePart
domain: MaintenanceProcesses
domain: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceComponent
range: MaintenanceProcesses
range: Class
  union of: AircraftControlSystem
  union of: CabinFacilitiesAndEquipments
  union of: EngineSystem
  union of: EnvironmentalControlSystem
  union of: FireProtectionSystems
  union of: FuelSystem
  union of: HydraulicSystems
  union of: LandingGearComponents
  union of: PneumaticSystem
  union of: WaterAndWasteSystems
  union of: De-Ice/Anti-IceAndDrainageSystem
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: a transitive relationship between maintenance parts and maintenance components

hasPracticeOn
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceActivity
domain: MaintenanceProcesses
domain: Class
  union of: Adjustment
  union of: Check
  union of: Cleaning
  union of: Inspection
  union of: Installation
  union of: Removal
  union of: Replacement
  union of: Test
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceComponent
range: MaintenanceProcesses
range: Class
  union of: AircraftControlSystem
  union of: CabinFacilitiesAndEquipments
  union of: EngineSystem
  union of: EnvironmentalControlSystem
  union of: FireProtectionSystems
  union of: FuelSystem
  union of: HydraulicSystems
  union of: LandingGearComponents
  union of: PneumaticSystem
  union of: WaterAndWasteSystems
  union of: De-Ice/Anti-IceAndDrainageSystem
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: perform the maintenance activities on maintenance components

hasRepair
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceProcesses
domain: MaintenanceTool
domain: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceComponent
range: MaintenanceProcesses
range: Class
  union of: AircraftControlSystem
  union of: CabinFacilitiesAndEquipments
  union of: EngineSystem
  union of: EnvironmentalControlSystem
  union of: FireProtectionSystems
  union of: FuelSystem
  union of: HydraulicSystems
  union of: LandingGearComponents
  union of: PneumaticSystem
  union of: WaterAndWasteSystems
  union of: De-Ice/Anti-IceAndDrainageSystem
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: maintenance tools support the repair for some maintenance components

hasRequired
type: ObjectProperty
sub property of: topObjectProperty
inverse of: isRequired
domain: entity
domain: MaintenanceComponent
domain: MaintenancePart
domain: MaintenanceProcesses
domain: Class
  union of: AircraftControlSystem
  union of: CabinFacilitiesAndEquipments
  union of: EngineSystem
  union of: EnvironmentalControlSystem
  union of: FireProtectionSystems
  union of: FuelSystem
  union of: HydraulicSystems
  union of: LandingGearComponents
  union of: PneumaticSystem
  union of: WaterAndWasteSystems
  union of: De-Ice/Anti-IceAndDrainageSystem
domain: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceMaterial
range: MaintenanceProcesses
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: maintenance processes involving some maintenance components require the use of maintenance materials

hasUse
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceActivity
domain: MaintenanceProcesses
domain: Class
  union of: Adjustment
  union of: Check
  union of: Cleaning
  union of: Inspection
  union of: Installation
  union of: Removal
  union of: Replacement
  union of: Test
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceProcesses
range: MaintenanceTool
range: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
maturity: Provisional

isAppliedTo
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceMaterial
domain: MaintenanceProcesses
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceProcesses
range: WorkObject
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: maintenance materials are used in work objects

isConsumedIn
type: ObjectProperty
sub property of: topObjectProperty
natural language definition: inverse property of hasConsumption

isOperatedOn
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceProcesses
domain: MaintenanceTool
domain: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceProcesses
range: WorkObject
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: maintenance tools are operated on work objects

isPartOf
type: ObjectProperty
sub property of: topObjectProperty
natural language definition: inverse property of hasPart

isRequired
type: ObjectProperty
natural language definition: inverse property of hasRequired

isUsedIn
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceProcesses
domain: MaintenanceTool
domain: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceActivity
range: MaintenanceProcesses
range: Class
  union of: Adjustment
  union of: Check
  union of: Cleaning
  union of: Inspection
  union of: Installation
  union of: Removal
  union of: Replacement
  union of: Test
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: specific maintenance tools need to be used in some maintenance activities inverse property of hasConsumption

need
type: ObjectProperty
sub property of: topObjectProperty
domain: entity
domain: MaintenanceProcesses
domain: QualifiedMaintenancePerson
domain: Class
  union of: CommonMaintenancePerson
  union of: SeniorMaintenancePerson
domain: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
range: entity
range: MaintenanceMaterial
range: MaintenanceProcesses
range: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
natural language definition: qualified maintenance personnel need to prepare maintenance materials

entity
type: Class
BFO_0000179: entity
BFO_0000180: Entity
IAO_0000112: Julius Caesar
IAO_0000112: Verdi’s Requiem
IAO_0000112: the Second World War
IAO_0000112: your body mass index
IAO_0000116: BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81
IAO_0000116: Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf
IAO_0000600: An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])

Axiom
annotated source: entity
annotated property: IAO_0000116
annotated target: Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf
IAO_0010000: http://purl.obolibrary.org/obo/bfo/axiom/0000004
comment: per discussion with Barry Smith

Axiom
annotated source: entity
annotated property: IAO_0000600
annotated target: An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])
IAO_0010000: http://purl.obolibrary.org/obo/bfo/axiom/001-001

AirConditioningSystems
type: Class
subclass of: EnvironmentalControlSystem
subclass of: Class
  union of: AirConditioningSystems
  union of: CabinPressureControlSystems
  union of: OxygenSystems

AircraftControlSystem
type: Class
equivalent class: Class
  union of: FlightControlWarningSystem
  union of: PrimaryFlightControlSystem
  union of: SecondaryFlightControlSystem
  union of: TelexSteeringSystem
subclass of: MaintenanceComponent
subclass of: Class
  union of: FlightControlWarningSystem
  union of: PrimaryFlightControlSystem
  union of: SecondaryFlightControlSystem
  union of: TelexSteeringSystem

AirframeParts
type: Class
subclass of: MaintenancePart
subclass of: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts

BrakingSystems
type: Class
subclass of: LandingGearComponents
subclass of: Class
  union of: BrakingSystems
  union of: LandingGearDampingSystem
  union of: LandingGearExtensionAndRetractionSystem
  union of: SteeringSystems

CabinFacilitiesAndEquipments
type: Class
equivalent class: Class
  union of: CargoHoldFacilitiesAndEquipments
  union of: CockpitFacilitiesAndEquipments
  union of: PassengerCabinFacilitiesAndEquipments
subclass of: MaintenanceComponent
subclass of: Class
  union of: CargoHoldFacilitiesAndEquipments
  union of: CockpitFacilitiesAndEquipments
  union of: PassengerCabinFacilitiesAndEquipments
reuse: FuselageSubComponent
is primitive: false

CabinPressureControlSystems
type: Class
subclass of: EnvironmentalControlSystem
subclass of: Class
  union of: AirConditioningSystems
  union of: CabinPressureControlSystems
  union of: OxygenSystems

CargoHoldFacilitiesAndEquipments
type: Class
subclass of: CabinFacilitiesAndEquipments
subclass of: Class
  union of: CargoHoldFacilitiesAndEquipments
  union of: CockpitFacilitiesAndEquipments
  union of: PassengerCabinFacilitiesAndEquipments
reuse: FuselageSubComponent
is primitive: false

CockpitFacilitiesAndEquipments
type: Class
subclass of: CabinFacilitiesAndEquipments
subclass of: Class
  union of: CargoHoldFacilitiesAndEquipments
  union of: CockpitFacilitiesAndEquipments
  union of: PassengerCabinFacilitiesAndEquipments
reuse: FuselageSubComponent
is primitive: false

CommonMaintenancePerson
type: Class
subclass of: QualifiedMaintenancePerson
subclass of: Class
  union of: CommonMaintenancePerson
  union of: SeniorMaintenancePerson

Diagnostic&TestingTools
type: Class
subclass of: MaintenanceTool
subclass of: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
natural language definition: is utilized to identify, analyze, and troubleshoot issues in aircraft systems, such as oscilloscopes and thermography cameras, which assists pinpointing the root causes of failure and facilitating timely and accurate maintenance; also refers to maintenance tools for verifying the performance and integrity of aircraft components, such as Pitot-Static testers and fuel quantity testers

EmergencyOilDrainSystem
type: Class
subclass of: FuelSystem
subclass of: Class
  union of: EmergencyOilDrainSystem
  union of: FuelSystemAccessories
  union of: OilSupplySystem
  union of: RefuelingSystem

Engine&FairingPylonParts
type: Class
subclass of: MaintenancePart
subclass of: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts

EngineSystem
type: Class
equivalent class: Class
  union of: FinMountedEngine
  union of: FuselageMountedEngine
  union of: Nacelle
  union of: Pylon
  union of: WingMountedEngine
subclass of: MaintenanceComponent
subclass of: Class
  union of: FinMountedEngine
  union of: FuselageMountedEngine
  union of: Nacelle
  union of: Pylon
  union of: WingMountedEngine
reuse: AircraftSubComponent
is primitive: false

EnvironmentalControlSystem
type: Class
equivalent class: Class
  union of: AirConditioningSystems
  union of: CabinPressureControlSystems
  union of: OxygenSystems
subclass of: MaintenanceComponent
subclass of: Class
  union of: AirConditioningSystems
  union of: CabinPressureControlSystems
  union of: OxygenSystems

FinMountedEngine
type: Class
subclass of: EngineSystem
subclass of: Class
  union of: FinMountedEngine
  union of: FuselageMountedEngine
  union of: Nacelle
  union of: Pylon
  union of: WingMountedEngine
reuse: FinMountedEngine
is primitive: false

FireDetectionSystems
type: Class
subclass of: FireProtectionSystems
subclass of: Class
  union of: FireDetectionSystems
  union of: FireExtinguishingSystems

FireExtinguishingSystems
type: Class
subclass of: FireProtectionSystems
subclass of: Class
  union of: FireDetectionSystems
  union of: FireExtinguishingSystems

FireProtectionSystems
type: Class
equivalent class: Class
  union of: FireDetectionSystems
  union of: FireExtinguishingSystems
subclass of: MaintenanceComponent
subclass of: Class
  union of: FireDetectionSystems
  union of: FireExtinguishingSystems

FlightControlWarningSystem
type: Class
subclass of: AircraftControlSystem
subclass of: Class
  union of: FlightControlWarningSystem
  union of: PrimaryFlightControlSystem
  union of: SecondaryFlightControlSystem
  union of: TelexSteeringSystem

EmpennageParts
type: Class
subclass of: MaintenancePart
subclass of: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts

FuelSystem
type: Class
equivalent class: Class
  union of: EmergencyOilDrainSystem
  union of: FuelSystemAccessories
  union of: OilSupplySystem
  union of: RefuelingSystem
subclass of: MaintenanceComponent
subclass of: Class
  union of: EmergencyOilDrainSystem
  union of: FuelSystemAccessories
  union of: OilSupplySystem
  union of: RefuelingSystem

FuelSystemAccessories
type: Class
subclass of: FuelSystem
subclass of: Class
  union of: EmergencyOilDrainSystem
  union of: FuelSystemAccessories
  union of: OilSupplySystem
  union of: RefuelingSystem

FuselageParts
type: Class
equivalent class: Class
  union of: LowerFuselageParts
  union of: UpperFuselageParts
subclass of: AirframeParts
subclass of: Class
  union of: LowerFuselageParts
  union of: UpperFuselageParts
reuse: Fuselage
is primitive: false

FuselageMountedEngine
type: Class
subclass of: EngineSystem
subclass of: Class
  union of: FinMountedEngine
  union of: FuselageMountedEngine
  union of: Nacelle
  union of: Pylon
  union of: WingMountedEngine
reuse: FuselageMountedEngine
is primitive: false

GeneralHandTools
type: Class
subclass of: MaintenanceTool
subclass of: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
natural language definition: includes tools like pliers, screwdrivers, wrenches, and hammers, which are versatile and used for most maintenance activities

HatchParts
type: Class
equivalent class: Class
  union of: CargoDoorParts
  union of: LandingGearDoorParts
  union of: PassengerDoorParts
subclass of: AirframeParts
subclass of: Class
  union of: CargoDoorParts
  union of: LandingGearDoorParts
  union of: PassengerDoorParts

HighPressurePneumaticSystem
type: Class
subclass of: PneumaticSystem
subclass of: Class
  union of: HighPressurePneumaticSystem
  union of: LowPressurePneumaticSystem
  union of: MediumPressurePneumaticSystem

HydraulicActuator
type: Class
subclass of: HydraulicSystems
subclass of: Class
  union of: HydraulicActuator
  union of: HydraulicAuxiliaryComponents
  union of: HydraulicControlComponents
  union of: HydraulicPowerComponents

HydraulicAuxiliaryComponents
type: Class
subclass of: HydraulicSystems
subclass of: Class
  union of: HydraulicActuator
  union of: HydraulicAuxiliaryComponents
  union of: HydraulicControlComponents
  union of: HydraulicPowerComponents

HydraulicControlComponents
type: Class
subclass of: HydraulicSystems
subclass of: Class
  union of: HydraulicActuator
  union of: HydraulicAuxiliaryComponents
  union of: HydraulicControlComponents
  union of: HydraulicPowerComponents

HydraulicPowerComponents
type: Class
subclass of: HydraulicSystems
subclass of: Class
  union of: HydraulicActuator
  union of: HydraulicAuxiliaryComponents
  union of: HydraulicControlComponents
  union of: HydraulicPowerComponents

HydraulicSystems
type: Class
equivalent class: Class
  union of: HydraulicActuator
  union of: HydraulicAuxiliaryComponents
  union of: HydraulicControlComponents
  union of: HydraulicPowerComponents
subclass of: MaintenanceComponent
subclass of: Class
  union of: HydraulicActuator
  union of: HydraulicAuxiliaryComponents
  union of: HydraulicControlComponents
  union of: HydraulicPowerComponents

IceControlSystems
type: Class
subclass of: De-Ice/Anti-IceAndDrainageSystem
subclass of: Class
  union of: IceControlSystems
  union of: IceDetectorSystem
  union of: WindshieldDrainageSystem
  union of: De-Ice/Anti-IceSystem

IceDetectorSystem
type: Class
subclass of: De-Ice/Anti-IceAndDrainageSystem
subclass of: Class
  union of: IceControlSystems
  union of: IceDetectorSystem
  union of: WindshieldDrainageSystem
  union of: De-Ice/Anti-IceSystem

GroundSupport&ServicingTools
type: Class
subclass of: MaintenanceTool
subclass of: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
natural language definition: is used to support the aircraft on the ground, which include the tools used to move the aircraft, like tugs and tow bars, and servicing tools for refueling

LandingGearParts
type: Class
subclass of: MaintenancePart
subclass of: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts

LandingGearComponents
type: Class
equivalent class: Class
  union of: BrakingSystems
  union of: LandingGearDampingSystem
  union of: LandingGearExtensionAndRetractionSystem
  union of: SteeringSystems
subclass of: MaintenanceComponent
subclass of: Class
  union of: BrakingSystems
  union of: LandingGearDampingSystem
  union of: LandingGearExtensionAndRetractionSystem
  union of: SteeringSystems
reuse: LandingGear
is primitive: false

LandingGearDampingSystem
type: Class
subclass of: LandingGearComponents
subclass of: Class
  union of: BrakingSystems
  union of: LandingGearDampingSystem
  union of: LandingGearExtensionAndRetractionSystem
  union of: SteeringSystems

LandingGearExtensionAndRetractionSystem
type: Class
subclass of: LandingGearComponents
subclass of: Class
  union of: BrakingSystems
  union of: LandingGearDampingSystem
  union of: LandingGearExtensionAndRetractionSystem
  union of: SteeringSystems

LowPressurePneumaticSystem
type: Class
subclass of: PneumaticSystem
subclass of: Class
  union of: HighPressurePneumaticSystem
  union of: LowPressurePneumaticSystem
  union of: MediumPressurePneumaticSystem

MaintenanceActivity
type: Class
equivalent class: Class
  union of: Adjustment
  union of: Check
  union of: Cleaning
  union of: Inspection
  union of: Installation
  union of: Removal
  union of: Replacement
  union of: Test
subclass of: MaintenanceProcesses
subclass of: Class
  union of: Adjustment
  union of: Check
  union of: Cleaning
  union of: Inspection
  union of: Installation
  union of: Removal
  union of: Replacement
  union of: Test
reuse: SupportingActivity
is primitive: false
natural language definition: activity that supports aircraft maintenance processes

MaintenanceComponent
type: Class
equivalent class: Class
  union of: AircraftControlSystem
  union of: CabinFacilitiesAndEquipments
  union of: EngineSystem
  union of: EnvironmentalControlSystem
  union of: FireProtectionSystems
  union of: FuelSystem
  union of: HydraulicSystems
  union of: LandingGearComponents
  union of: PneumaticSystem
  union of: WaterAndWasteSystems
  union of: De-Ice/Anti-IceAndDrainageSystem
subclass of: MaintenanceProcesses
subclass of: Class
  union of: AircraftControlSystem
  union of: CabinFacilitiesAndEquipments
  union of: EngineSystem
  union of: EnvironmentalControlSystem
  union of: FireProtectionSystems
  union of: FuelSystem
  union of: HydraulicSystems
  union of: LandingGearComponents
  union of: PneumaticSystem
  union of: WaterAndWasteSystems
  union of: De-Ice/Anti-IceAndDrainageSystem
reuse: MaintenanceWorkOrderRecord
is primitive: false
natural language definition: aircraft component that requires maintenance activities

MaintenanceMaterial
type: Class
subclass of: MaintenanceProcesses
subclass of: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
reuse: MaintainableMaterialItem
is primitive: false
natural language definition: material that should be consumed during aircraft maintenance

MaintenancePart
type: Class
equivalent class: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts
subclass of: MaintenanceProcesses
subclass of: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts
reuse: MaintenanceWorkOrderRecord
is primitive: false
natural language definition: aircraft part in need of maintenance

MaintenanceProcesses
type: Class
equivalent class: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
subclass of: entity
subclass of: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
reuse: MaintenanceProcess
is primitive: false
natural language definition: maintenance work links covering activities, personnel, technical data, equipments, facilities and other elements involved in aircraft maintenance tasks

MaintenanceTool
type: Class
equivalent class: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
subclass of: MaintenanceProcesses
subclass of: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
reuse: MaintenanceWorkOrderRecord
is primitive: false
natural language definition: tool used in aircraft maintenance

MediumPressurePneumaticSystem
type: Class
subclass of: PneumaticSystem
subclass of: Class
  union of: HighPressurePneumaticSystem
  union of: LowPressurePneumaticSystem
  union of: MediumPressurePneumaticSystem

Nacelle
type: Class
subclass of: EngineSystem
subclass of: Class
  union of: FinMountedEngine
  union of: FuselageMountedEngine
  union of: Nacelle
  union of: Pylon
  union of: WingMountedEngine
reuse: Nacelle
is primitive: false

OilSupplySystem
type: Class
subclass of: FuelSystem
subclass of: Class
  union of: EmergencyOilDrainSystem
  union of: FuelSystemAccessories
  union of: OilSupplySystem
  union of: RefuelingSystem

OxygenSystems
type: Class
subclass of: EnvironmentalControlSystem
subclass of: Class
  union of: AirConditioningSystems
  union of: CabinPressureControlSystems
  union of: OxygenSystems

PassengerCabinFacilitiesAndEquipments
type: Class
subclass of: CabinFacilitiesAndEquipments
subclass of: Class
  union of: CargoHoldFacilitiesAndEquipments
  union of: CockpitFacilitiesAndEquipments
  union of: PassengerCabinFacilitiesAndEquipments
reuse: FuselageSubComponent
is primitive: false

PneumaticSystem
type: Class
equivalent class: Class
  union of: HighPressurePneumaticSystem
  union of: LowPressurePneumaticSystem
  union of: MediumPressurePneumaticSystem
subclass of: MaintenanceComponent
subclass of: Class
  union of: HighPressurePneumaticSystem
  union of: LowPressurePneumaticSystem
  union of: MediumPressurePneumaticSystem

PotableWaterSystem
type: Class
subclass of: WaterAndWasteSystems
subclass of: Class
  union of: PotableWaterSystem
  union of: ToiletSystem
  union of: WastewaterSystem
  union of: WaterTankPressurizationSystem

PowerTools
type: Class
subclass of: MaintenanceTool
subclass of: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
natural language definition: refers to electric or pneumatic tools that provide auxiliary power to perform maintenance activities efficiently, such as drills, impact wrenches, grinders, and saws

PrimaryFlightControlSystem
type: Class
subclass of: AircraftControlSystem
subclass of: Class
  union of: FlightControlWarningSystem
  union of: PrimaryFlightControlSystem
  union of: SecondaryFlightControlSystem
  union of: TelexSteeringSystem

Pylon
type: Class
subclass of: EngineSystem
subclass of: Class
  union of: FinMountedEngine
  union of: FuselageMountedEngine
  union of: Nacelle
  union of: Pylon
  union of: WingMountedEngine
reuse: Pylon
is primitive: false

QualifiedMaintenancePerson
type: Class
equivalent class: Class
  union of: CommonMaintenancePerson
  union of: SeniorMaintenancePerson
subclass of: MaintenanceProcesses
subclass of: Class
  union of: CommonMaintenancePerson
  union of: SeniorMaintenancePerson
reuse: QualifiedPerson
is primitive: false
natural language definition: person who is qualified to perform a specified maintenance process

RefuelingSystem
type: Class
subclass of: FuelSystem
subclass of: Class
  union of: EmergencyOilDrainSystem
  union of: FuelSystemAccessories
  union of: OilSupplySystem
  union of: RefuelingSystem

Cleaning&CorrosionControlTools
type: Class
subclass of: MaintenanceTool
subclass of: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
natural language definition: includes a series of tools for cleaning parts and surfaces, as well as applying corrosion-inhibiting substances

SecondaryFlightControlSystem
type: Class
subclass of: AircraftControlSystem
subclass of: Class
  union of: FlightControlWarningSystem
  union of: PrimaryFlightControlSystem
  union of: SecondaryFlightControlSystem
  union of: TelexSteeringSystem

SeniorMaintenancePerson
type: Class
subclass of: QualifiedMaintenancePerson
subclass of: Class
  union of: CommonMaintenancePerson
  union of: SeniorMaintenancePerson

Special-purposeTools
type: Class
subclass of: MaintenanceTool
subclass of: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
natural language definition: refers to specific tools designed for performing specialized work, which is designed to meet the unique requirements of aircraft maintenance. Some examples include safety devices (used to protect maintenance personnel from potential hazards) and lifting & rigging tools (used to lift, move or position heavy equipment safely)

SteeringSystems
type: Class
subclass of: LandingGearComponents
subclass of: Class
  union of: BrakingSystems
  union of: LandingGearDampingSystem
  union of: LandingGearExtensionAndRetractionSystem
  union of: SteeringSystems

TelexSteeringSystem
type: Class
subclass of: AircraftControlSystem
subclass of: Class
  union of: FlightControlWarningSystem
  union of: PrimaryFlightControlSystem
  union of: SecondaryFlightControlSystem
  union of: TelexSteeringSystem

SafetyTools
type: Class
subclass of: MaintenanceTool
subclass of: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
natural language definition: is used to perform tasks in a manner that ensures the safety of the technician and the aircraft, which involves tools designed to prevent foreign object damage, such as personal protective equipment for the technician

ToiletSystem
type: Class
subclass of: WaterAndWasteSystems
subclass of: Class
  union of: PotableWaterSystem
  union of: ToiletSystem
  union of: WastewaterSystem
  union of: WaterTankPressurizationSystem

WastewaterSystem
type: Class
subclass of: WaterAndWasteSystems
subclass of: Class
  union of: PotableWaterSystem
  union of: ToiletSystem
  union of: WastewaterSystem
  union of: WaterTankPressurizationSystem

WaterAndWasteSystems
type: Class
equivalent class: Class
  union of: PotableWaterSystem
  union of: ToiletSystem
  union of: WastewaterSystem
  union of: WaterTankPressurizationSystem
subclass of: MaintenanceComponent
subclass of: Class
  union of: PotableWaterSystem
  union of: ToiletSystem
  union of: WastewaterSystem
  union of: WaterTankPressurizationSystem

WaterTankPressurizationSystem
type: Class
subclass of: WaterAndWasteSystems
subclass of: Class
  union of: PotableWaterSystem
  union of: ToiletSystem
  union of: WastewaterSystem
  union of: WaterTankPressurizationSystem

WindshieldDrainageSystem
type: Class
subclass of: De-Ice/Anti-IceAndDrainageSystem
subclass of: Class
  union of: IceControlSystems
  union of: IceDetectorSystem
  union of: WindshieldDrainageSystem
  union of: De-Ice/Anti-IceSystem

WingMountedEngine
type: Class
subclass of: EngineSystem
subclass of: Class
  union of: FinMountedEngine
  union of: FuselageMountedEngine
  union of: Nacelle
  union of: Pylon
  union of: WingMountedEngine
reuse: AircraftDesign.owl
is primitive: false

WingsParts
type: Class
subclass of: MaintenancePart
subclass of: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts
reuse: Wing
is primitive: false

WorkObject
type: Class
subclass of: MaintenanceProcesses
subclass of: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
reuse: MaintenanceWorkOrderRecord
is primitive: false
natural language definition: part and component that are operated on during aircraft maintenance

Calibration&InspectionTools
type: Class
subclass of: MaintenanceTool
natural language definition: is used to inspect settings and components in the activity of ‘Inspection’, such as flashlights, inspection mirrors, and borescopes. It also refers to maintenance tools used to ensure the accuracy and reliability of measurement devices, such as torque wrenches, pressure gauges, multimeters, and temperature probes

De-Ice/Anti-IceAndDrainageSystem
type: Class
equivalent class: Class
  union of: IceControlSystems
  union of: IceDetectorSystem
  union of: WindshieldDrainageSystem
  union of: De-Ice/Anti-IceSystem
subclass of: MaintenanceComponent
subclass of: Class
  union of: IceControlSystems
  union of: IceDetectorSystem
  union of: WindshieldDrainageSystem
  union of: De-Ice/Anti-IceSystem

De-Ice/Anti-IceSystem
type: Class
subclass of: De-Ice/Anti-IceAndDrainageSystem
subclass of: Class
  union of: IceControlSystems
  union of: IceDetectorSystem
  union of: WindshieldDrainageSystem
  union of: De-Ice/Anti-IceSystem

Sealing&CoatingTools
type: Class
subclass of: MaintenanceTool
subclass of: Class
  union of: Diagnostic&TestingTools
  union of: GeneralHandTools
  union of: GroundSupport&ServicingTools
  union of: PowerTools
  union of: Cleaning&CorrosionControlTools
  union of: Special-purposeTools
  union of: SafetyTools
  union of: Calibration&InspectionTools
  union of: Sealing&CoatingTools
natural language definition: includes tools used to apply sealants to prevent leaks, as well as the equipment used for painting and coating the aircraft to protect it from the elements

Charlie
type: NamedIndividual
type: entity
type: MaintenanceProcesses
type: QualifiedMaintenancePerson
type: SeniorMaintenancePerson
type: Class
  union of: CommonMaintenancePerson
  union of: SeniorMaintenancePerson
type: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
has training value: 120

Main wheel
type: NamedIndividual
type: entity
type: MaintenanceComponent
type: MaintenancePart
type: MaintenanceProcesses
type: Class
  union of: AircraftControlSystem
  union of: CabinFacilitiesAndEquipments
  union of: EngineSystem
  union of: EnvironmentalControlSystem
  union of: FireProtectionSystems
  union of: FuelSystem
  union of: HydraulicSystems
  union of: LandingGearComponents
  union of: PneumaticSystem
  union of: WaterAndWasteSystems
  union of: De-Ice/Anti-IceAndDrainageSystem
type: Class
  union of: AirframeParts
  union of: Engine&FairingPylonParts
  union of: EmpennageParts
  union of: LandingGearParts
  union of: WingsParts
type: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
has included: bearings
has included: brake disc
has included: circlips
has included: clip screw
has included: inner disc
has included: outer disc
has included: tire
has included: valve
has maintenance measure: KeyComponentsKnowledge1
has required: bolt
has required: loctite243
has required: o ring
is part of: Wheels
has severity value: 5

bolt
type: NamedIndividual
type: entity
type: MaintenanceMaterial
type: MaintenanceProcesses
type: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
is applied to: inner disc
is consumed in: Main wheel bearings replacement
is required: Main wheel
has metric thread class value: 8
has strength class value: 5.8
has torque value: 15.69

bonding flange
type: NamedIndividual
type: entity
type: MaintenanceProcesses
type: WorkObject
type: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
required operation: Two-handOperation
has weight value: 17

bushing
type: NamedIndividual
type: entity
type: MaintenanceMaterial
type: MaintenanceProcesses
type: Class
  union of: MaintenanceActivity
  union of: MaintenanceComponent
  union of: MaintenanceMaterial
  union of: MaintenancePart
  union of: MaintenanceTool
  union of: QualifiedMaintenancePerson
  union of: WorkObject
has diameter design limits value: 1.8769
has maximum service diametric clearance value: 0.007

forV
is rule enabled: true
comment: for verification 验证是包含实际情况的 并根据其逆属性可推理材料的应用情况
type: Imp
body: IndividualPropertyAtom
  property predicate: hasConsumption
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C
body: ClassAtom
  class predicate: MaintenanceComponent
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
body: ClassAtom
  class predicate: MaintenanceActivity
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
body: ClassAtom
  class predicate: MaintenanceMaterial
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C
body: IndividualPropertyAtom
  property predicate: hasPracticeOn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
head: IndividualPropertyAtom
  property predicate: hasRequired
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C

Verif
is rule enabled: true
comment: for verification 验证是包含实际情况的 并根据其逆属性可推理工具的应用情况
type: Imp
body: ClassAtom
  class predicate: MaintenanceTool
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#G
body: ClassAtom
  class predicate: MaintenanceComponent
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
body: ClassAtom
  class predicate: MaintenanceActivity
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
body: IndividualPropertyAtom
  property predicate: hasPracticeOn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
body: IndividualPropertyAtom
  property predicate: isOperatedOn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#G
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
body: IndividualPropertyAtom
  property predicate: hasActionOn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
body: ClassAtom
  class predicate: WorkObject
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
head: IndividualPropertyAtom
  property predicate: hasRepair
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#G
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A

1
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: MaintenanceComponent
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
body: ClassAtom
  class predicate: MaintenanceActivity
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
body: IndividualPropertyAtom
  property predicate: hasPracticeOn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
body: IndividualPropertyAtom
  property predicate: hasActionOn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
body: ClassAtom
  class predicate: WorkObject
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
head: IndividualPropertyAtom
  property predicate: hasIncluded
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D

3
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: MaintenanceActivity
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
body: ClassAtom
  class predicate: MaintenanceMaterial
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C
body: IndividualPropertyAtom
  property predicate: isAppliedTo
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
body: IndividualPropertyAtom
  property predicate: hasActionOn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
body: ClassAtom
  class predicate: WorkObject
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
head: IndividualPropertyAtom
  property predicate: hasConsumption
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C

2
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: MaintenanceTool
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#G
body: ClassAtom
  class predicate: MaintenanceActivity
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
body: IndividualPropertyAtom
  property predicate: isOperatedOn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#G
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
body: IndividualPropertyAtom
  property predicate: hasActionOn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
body: ClassAtom
  class predicate: WorkObject
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
head: IndividualPropertyAtom
  property predicate: isUsedIn
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#G
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#E

7
is rule enabled: true
type: Imp
body: DatavaluedPropertyAtom
  property predicate: hasSeverityValue
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#R
body: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#R
  arguments: 5
body: ClassAtom
  class predicate: MaintenanceComponent
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
head: IndividualPropertyAtom
  property predicate: hasMaintenanceMeasure
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#A
  argument2: KeyComponentsKnowledge1

4
is rule enabled: true
type: Imp
body: BuiltinAtom
  builtin: equal
  arguments: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#Y
  arguments: 5.8
body: ClassAtom
  class predicate: MaintenanceMaterial
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C
body: DatavaluedPropertyAtom
  property predicate: hasStrengthClassValue
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#Y
body: DatavaluedPropertyAtom
  property predicate: hasMetricThreadClassValue
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#X
body: BuiltinAtom
  builtin: equal
  arguments: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#X
  arguments: 8
head: DatavaluedPropertyAtom
  property predicate: hasTorqueValue
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#C
  argument2: 15.69

5
is rule enabled: true
type: Imp
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#L
  arguments: 1.8779
body: ClassAtom
  class predicate: MaintenanceMaterial
  argument1: bushing
body: DatavaluedPropertyAtom
  property predicate: hasDiameterDesignLimitsValue
  argument1: bushing
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#L
body: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#L
  arguments: 1.8764
head: DatavaluedPropertyAtom
  property predicate: hasMaximumServiceDiametricClearanceValue
  argument1: bushing
  argument2: 0.007

8
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: QualifiedMaintenancePerson
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#P
body: DatavaluedPropertyAtom
  property predicate: hasTrainingValue
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#P
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#V
body: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#V
  arguments: 100
head: ClassAtom
  class predicate: SeniorMaintenancePerson
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#P

6
is rule enabled: true
type: Imp
body: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#P
  arguments: 16
body: ClassAtom
  class predicate: WorkObject
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
body: DatavaluedPropertyAtom
  property predicate: hasWeightValue
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
  argument2: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#P
head: IndividualPropertyAtom
  property predicate: Required Operation
  argument1: http://www.semanticweb.org/charliejackson/ontologies/2023/0/untitled-ontology-2#D
  argument2: Two-handOperation