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. | WMD.kif 626-626 | WMDWeaponsProductionFacility e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 637-637 | WMDWeaponsResearchFacility e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | Railway e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 378-378 | RailroadTrack e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1619-1619 | Bridge e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1625-1625 | FixedBridge e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1631-1631 | Tunnel e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1692-1692 | CanalLock e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | TransitTerminal e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1140-1140 | BowlingLane e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Music.kif 21-21 | RecordingStudio e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1997-1997 | Barrier e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4722-4722 | SwimmingPool e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6742-6742 | Mine e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6763-6763 | Prison e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6797-6797 | VotingPoll e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6830-6830 | Monument e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6842-6842 | Tomb e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6854-6854 | Workshop e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7006-7006 | SportsFacility e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7029-7029 | PlaceOfCommerce e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7909-7909 | Steeple e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15033-15033 | Chimney e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15047-15047 | Curb e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15063-15063 | Stairway e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15087-15087 | Steps e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15286-15286 | Doorway e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15308-15308 | Wall e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15321-15321 | Floor e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15332-15332 | Ceiling e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15343-15343 | Roof e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15353-15353 | Fireplace e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15380-15380 | Balcony e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15395-15395 | BuildingLevel e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15473-15473 | Garage e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15639-15639 | Porch e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15651-15651 | Sidewalk e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15669-15669 | Fence e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15673-15673 | SportsGround e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15685-15685 | IndustrialPlant e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15706-15706 | Laboratory e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15726-15726 | MilitaryInstallation e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15731-15731 | Farm e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15748-15748 | PerformanceStage e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15767-15767 | PerformanceStageWing e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20545-20545 | BuildingUnit e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22576-22576 | EducationalFacility e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | PostalPlace e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25800-25800 | RunningTrack e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26016-26016 | Courtyard e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26651-26651 | Lanai e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26856-26856 | DanceHall e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15739-15739 | Predio e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15755-15755 | Comodo e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15776-15776 | Residence e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 89-89 | HotelUnit e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1436-1436 | Casino e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | Canal e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5607-5607 | CanalStructure e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5612-5612 | Dam e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | ATMMachine e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3083-3083 | GeniusBar e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 218-218 | BroadcastingStation e' uma sub-classe de Artefato Estacionario |