No TPTP formula. May not be expressible in strict first order. | Merge.kif 15703-15703 | 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 5196-5196 | ShoeSole e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5685-5685 | Bandage e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6755-6755 | MobileResidence e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6990-6990 | AnimalResidence e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15108-15108 | Ladder e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15170-15170 | Window e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15211-15211 | WindowCovering e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16975-16975 | GameArtifact e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17828-17828 | MilitaryArtifact e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26330-26330 | Sail e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26375-26375 | Document e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26465-26465 | GrabBar e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15383-15383 | Texto e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15714-15714 | Produto e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15743-15743 | Artefato Estacionario e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15861-15861 | Objeto de Arte e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15901-15901 | Tecido e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15910-15910 | WearableItem e' uma sub-classe de Artefato |
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. | 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 4390-4390 | Chain e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4432-4432 | ChainLink e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4697-4697 | InteriorVehicleEquipment e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5036-5036 | VehicleSeat e' uma sub-classe de Artefato |