| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15961-15961 | Aparelho e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3072-3072 | CanalLockGate e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3074-3074 | TrafficLight e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2015-2015 | Barricade e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1317-1317 | Lever e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1722-1722 | Transducer e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1882-1882 | Aerator e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1920-1920 | BrushOrComb e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1934-1934 | MatchDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1997-1997 | WritingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2009-2009 | SmokingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2198-2198 | Toilet e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2248-2248 | Tableware e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2260-2260 | Compass e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2271-2271 | MajorAppliance e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2282-2282 | CoolingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2305-2305 | HeatingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2374-2374 | RecreationOrExerciseDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2385-2385 | Toy e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2438-2438 | WalkingCane e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2450-2450 | WashingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2462-2462 | MaterialHandlingEquipment e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2493-2493 | OpticalDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2519-2519 | Filter e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2533-2533 | FileDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | ElectricDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2565-2565 | PowerSource e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2659-2659 | SecurityDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2734-2734 | AnimalController e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2749-2749 | SelfPoweredDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2762-2762 | AnimalPoweredDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2850-2850 | Baton e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3014-3014 | LightFixture e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3252-3252 | PaintingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3384-3384 | VehicleController e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3535-3535 | Axle e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4007-4007 | Lid e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4193-4193 | Screwdriver e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4208-4208 | Hammer e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4277-4277 | WasherForBolt e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4314-4314 | Holder e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5587-5587 | CleaningDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13312-13312 | Camera e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15033-15033 | Chimney e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15255-15255 | Door e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15353-15353 | Fireplace e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17840-17840 | ExplosiveDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21993-21993 | CuttingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24054-24054 | ContraceptiveDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25196-25196 | IroningBoard e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25362-25362 | DryingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25418-25418 | SmokeDetector e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25433-25433 | Sprinkler e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25477-25477 | FireExtinguisher e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25606-25606 | DataStorageDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25804-25804 | KnockLight e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25893-25893 | ElectricalOutlet e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25950-25950 | OutletAdapter e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26036-26036 | Earphone e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26233-26233 | AudioRecorder e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26425-26425 | TelephoneHandset e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26440-26440 | FireAlarm e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26691-26691 | Tripod e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29365-29365 | VehicleDoor e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30773-30773 | Carabiner e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15979-15979 | Instrumento Musical e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15987-15987 | Veiculo de Transporte e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16022-16022 | MeasuringDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16034-16034 | AttachingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16045-16045 | Arma e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16063-16063 | Maquina e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16078-16078 | Componente de Engenharia e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 661-661 | MedicalDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1360-1360 | InternetAccessPoint e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 753-753 | Pendulum e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 776-776 | Spring e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 880-880 | TransferSwitch e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5160-5160 | HeatSealer e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3758-3758 | LaptopScreenPart e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3775-3775 | LaptopKeyboardPart e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 112-112 | Keyboard e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 475-475 | SpeakerDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 59-59 | TelephoneCradle e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 538-538 | Brake e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 582-582 | WearingFrictionSurface e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 660-660 | BrakeRotor e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 666-666 | BrakeDrum e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 672-672 | BrakeCaliper e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 677-677 | BrakePedal e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 770-770 | Damper e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1105-1105 | FuelAtomizer e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1309-1309 | EngineChoke e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1404-1404 | BallBearing e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1640-1640 | Cam e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1701-1701 | CombustionChamber e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1814-1814 | Clutch e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1973-1973 | EngineConnectingRod e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2273-2273 | Distributor e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2316-2316 | Drivebelt e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2540-2540 | GasPedal e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2619-2619 | AutomobileMuffler e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2625-2625 | ExhaustManifold e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2838-2838 | Gasket e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2910-2910 | SpeedGovernor e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3012-3012 | GreaseFitting e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3036-3036 | GreaseGun e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3217-3217 | JumperCable e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3358-3358 | SafetyDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3844-3844 | RockerArm e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4123-4123 | Rod e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4153-4153 | Wrench e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4209-4209 | MechanicalTap e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4223-4223 | MechanicalDie e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4276-4276 | Reel e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4324-4324 | WheelChock e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4446-4446 | TireChain e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4488-4488 | UnpoweredDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4672-4672 | VehicleRoofRack e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4788-4788 | Tire e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4814-4814 | WheelRim e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4878-4878 | TireChanger e' uma sub-classe de Aparelho |
|
|