| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15442-15442 | Frase e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14233-14233 | Statement e' uma sub-classe de Frase |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14250-14250 | Question e' uma sub-classe de Frase |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14261-14261 | Supposition e' uma sub-classe de Frase |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14272-14272 | Request e' uma sub-classe de Frase |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14283-14283 | Order e' uma sub-classe de Frase |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1547-1547 | Formula e' uma sub-classe de Frase |
|
|