| 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. | Mid-level-ontology.kif 1209-1209 | CartridgeCase e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1224-1224 | GunBarrel e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1361-1361 | GunTrigger e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1438-1438 | GunStock e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1454-1454 | Handle e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1512-1512 | WingDevice e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1673-1673 | DriveComponent e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1775-1775 | Manifold e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1784-1784 | SwitchDevice e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2939-2939 | CommunicationDevice e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3617-3617 | WireSpring e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3622-3622 | WireLine e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15271-15271 | Hinge e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16138-16138 | Conexao de Engenharia e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 737-737 | FluidPowerDevice e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 757-757 | Gear e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 762-762 | GearTrain e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 767-767 | Gearbox e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 771-771 | Shaft e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 779-779 | Rotor e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 789-789 | Stator e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 906-906 | FluidCylinder e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | Valve e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1114-1114 | Controller e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 962-962 | AppleSystemManagementController e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2554-2554 | ComputerPort e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2581-2581 | ComputerPlug e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2706-2706 | ComputerCable e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | ComputerHardware e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 113-113 | ArtificialSatellite e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 288-288 | BroadcastingStation e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 381-381 | TelevisionReceiver e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1376-1376 | MechanicalJoint e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2198-2198 | Radiator e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2238-2238 | Flywheel e' uma sub-classe de Componente de Engenharia |
|
|