No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14534-14534 |
Application est une sous-classe de FormText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14522-14522 |
Ballot est une sous-classe de FormText |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 929-929 |
TaxReturn est une sous-classe de FormText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14516-14516 |
TestForm est une sous-classe de FormText |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24776-24776 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24775-24775 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24774-24774 |
|