No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14506-14506 |
Application est une sous-classe de FormText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14494-14494 |
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 14488-14488 |
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 |
|