| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | Expressao Linguistica e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24846-24846 | PostalAddressText e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1405-1405 | Linguagem e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1543-1543 | Palavra e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15296-15296 | Morfema e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15323-15323 | Frase e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15381-15381 | Texto e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15464-15464 | Frase e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2902-2902 | AlphabeticString e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2939-2939 | AlphaNumericString e' uma sub-classe de Expressao Linguistica |
|
|