| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | Atributo Relacional e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2054-2054 | SpeedScaleAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1338-1338 | AirportClassification e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 446-446 | EnvironmentSoftwareAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 783-783 | ProcessStatus e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1066-1066 | PriorityAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1089-1089 | SoftwareAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1332-1332 | RealtimeSystemAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2116-2116 | ComputerStatus e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | People.kif 664-664 | ReligiousAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 21-21 | IndustryAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 363-363 | RecordingAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 473-473 | AlbumAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 501-501 | MusicGenre e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4097-4097 | BedAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19536-19536 | PoliticoEconomicAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25317-25317 | SizeAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30326-30326 | ConservationStatus e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31032-31032 | MeasurementAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1586-1586 | LegalAgent e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16969-16969 | Valor Verdade e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16995-16995 | Atributo Posicional e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17163-17163 | Zona Temporal e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17239-17239 | Role Social e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17291-17291 | Atributo Normativo e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17614-17614 | Atributo de Percepcao e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5381-5381 | GramStainAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6412-6412 | AVPUStatus e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 973-973 | HotelRoomAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1203-1203 | HotelLevelAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 803-803 | LegalSystemAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2458-2458 | MemberStatus e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6225-6225 | LandVegetationAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | AreaOfConcern e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 17-17 | PreparedFoodAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 447-447 | CoffeeRoastAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1058-1058 | CoffeeGrindAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1804-1804 | InvestmentAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1830-1830 | LiquidityAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1850-1850 | RiskAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1868-1868 | YieldAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2496-2496 | FinancialRating e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3950-3950 | ServiceAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4003-4003 | FinancialAccountStatus e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3780-3780 | EconomicRole e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4180-4180 | PlantAttribute e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1253-1253 | Cuisine e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4360-4360 | AccountSecurityType e' uma sub-classe de Atributo Relacional |
|
|