| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | Atributo Interno e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 383-383 | TrackGauge e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1860-1860 | DeviceStateAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19249-19249 | LinguisticAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19663-19663 | BreakabilityAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1810-1810 | PhysicalAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17563-17563 | Estado Fisico e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17745-17745 | StructureAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18007-18007 | Atributo de Saturacao e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18045-18045 | Atributo Biologico e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1737-1737 | TerrainAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2600-2600 | BiodiversityAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4064-4064 | VolcanoStatus e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7334-7334 | SolubilityAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 44-44 | LexiconCategory e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 209-209 | EquationAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 229-229 | AlgebroDifferentialAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 254-254 | PhysicalDomain e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 319-319 | MultipoleAttribute e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 705-705 | Nonlinear e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 711-711 | Backlashless e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 715-715 | Brushless e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 725-725 | Autonomous e' uma sub-classe de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1369-1369 | WebDocumentAttribute e' uma sub-classe de Atributo Interno |
|
|