| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14485-14485 | FormText e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14489-14489 | TestForm e' uma sub-classe de FormText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14495-14495 | Ballot e' uma sub-classe de FormText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14507-14507 | Application e' uma sub-classe de FormText |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 929-929 | TaxReturn e' uma sub-classe de FormText |
|
|