No TPTP formula. May not be expressible in strict first order. | Merge.kif 16011-16011 | Aparelho e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3253-3253 | CanalLockGate e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3255-3255 | 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 1310-1310 | Lever e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1715-1715 | Transducer e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1875-1875 | Aerator e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1913-1913 | BrushOrComb e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1927-1927 | MatchDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1990-1990 | WritingDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2002-2002 | SmokingDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2191-2191 | Toilet e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2241-2241 | Tableware e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2253-2253 | Compass e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2264-2264 | MajorAppliance e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2275-2275 | CoolingDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2298-2298 | HeatingDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2367-2367 | RecreationOrExerciseDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2378-2378 | Toy e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2431-2431 | WalkingCane e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2443-2443 | WashingDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2455-2455 | MaterialHandlingEquipment e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2486-2486 | OpticalDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2512-2512 | Filter e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2526-2526 | FileDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2535-2535 | ElectricDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2558-2558 | PowerSource e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2652-2652 | SecurityDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2727-2727 | AnimalController e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2742-2742 | SelfPoweredDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2755-2755 | AnimalPoweredDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2843-2843 | Baton e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3007-3007 | LightFixture e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3245-3245 | PaintingDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3377-3377 | VehicleController e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3528-3528 | Axle e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4000-4000 | Lid e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4186-4186 | Screwdriver e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4201-4201 | Hammer e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4270-4270 | WasherForBolt e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4307-4307 | Holder e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5582-5582 | CleaningDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13340-13340 | Camera e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15061-15061 | Chimney e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15283-15283 | Door e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15381-15381 | Fireplace e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17868-17868 | ExplosiveDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22046-22046 | CuttingDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24112-24112 | ContraceptiveDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25254-25254 | IroningBoard e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25420-25420 | DryingDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25476-25476 | SmokeDetector e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25491-25491 | Sprinkler e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25535-25535 | FireExtinguisher e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25651-25651 | DataStorageDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25849-25849 | KnockLight e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25938-25938 | ElectricalOutlet e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25995-25995 | OutletAdapter e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26081-26081 | Earphone e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26278-26278 | AudioRecorder e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26470-26470 | TelephoneHandset e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26485-26485 | FireAlarm e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26736-26736 | Tripod e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29428-29428 | VehicleDoor e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30809-30809 | Carabiner e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16029-16029 | Instrumento Musical e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16037-16037 | Veiculo de Transporte e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16072-16072 | MeasuringDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16084-16084 | AttachingDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16095-16095 | Arma e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16113-16113 | Maquina e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16128-16128 | 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 1791-1791 | Clutch e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1950-1950 | EngineConnectingRod e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2250-2250 | Distributor e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2293-2293 | Drivebelt e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2517-2517 | GasPedal e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2596-2596 | AutomobileMuffler e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2602-2602 | ExhaustManifold e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2815-2815 | Gasket e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2887-2887 | SpeedGovernor e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2989-2989 | GreaseFitting e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3013-3013 | GreaseGun e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3194-3194 | JumperCable e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3335-3335 | SafetyDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3821-3821 | RockerArm e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4100-4100 | Rod e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4130-4130 | Wrench e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4186-4186 | MechanicalTap e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4200-4200 | MechanicalDie e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4253-4253 | Reel e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4301-4301 | WheelChock e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4423-4423 | TireChain e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4465-4465 | UnpoweredDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4649-4649 | VehicleRoofRack e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4765-4765 | Tire e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4791-4791 | WheelRim e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4855-4855 | TireChanger e' uma sub-classe de Aparelho |