No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14534-14534 |
Application e' uma sub-classe de FormText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14522-14522 |
Ballot 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 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14516-14516 |
TestForm e' uma sub-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 |
|