| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15681-15681 | Artefato e' uma sub-classe de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2511-2511 | ShipsHull e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2515-2515 | ShipDeck e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2559-2559 | ShipCompartment e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2929-2929 | TransitShelter e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1830-1830 | TobaccoProduct e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1609-1609 | Armor e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1468-1468 | Shield e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1501-1501 | Mast e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | Tube e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1537-1537 | PhotographicFilm e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1541-1541 | PictureFrame e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1555-1555 | Shelf e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3353-3353 | DisplayArtifact e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3373-3373 | Wheel e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3432-3432 | VehicleTire e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3560-3560 | Paper e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3607-3607 | Wire e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3650-3650 | String e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3659-3659 | Plug e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3668-3668 | Pottery e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3678-3678 | Pillow e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3682-3682 | Mirror e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3690-3690 | Furniture e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4029-4029 | Mattress e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4049-4049 | BedFrame e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4122-4122 | BedLinen e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4250-4250 | BoatDeck e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4741-4741 | BoardOrBlock e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4765-4765 | Veneer e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5197-5197 | ShoeSole e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5686-5686 | Bandage e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6756-6756 | MobileResidence e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6991-6991 | AnimalResidence e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15109-15109 | Ladder e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15171-15171 | Window e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15212-15212 | WindowCovering e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16976-16976 | GameArtifact e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17829-17829 | MilitaryArtifact e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26342-26342 | Sail e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26387-26387 | Document e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26477-26477 | GrabBar e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15361-15361 | Texto e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15692-15692 | Produto e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15721-15721 | Artefato Estacionario e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15839-15839 | Objeto de Arte e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15879-15879 | Tecido e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15888-15888 | WearableItem e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15939-15939 | Aparelho e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2633-2633 | WaterCatchment e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5625-5625 | Reservoir e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5701-5701 | IrrigationChannel e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 326-326 | WetBar e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 291-291 | Piston e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 307-307 | EngineCylinder e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4382-4382 | Chain e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4424-4424 | ChainLink e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4689-4689 | InteriorVehicleEquipment e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5028-5028 | VehicleSeat e' uma sub-classe de Artefato |
|
|