No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3968-3968 |
ClosedService est une instance de ServiceAttribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3954-3954 |
OpenService est une instance de ServiceAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52221-52221 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52220-52220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52219-52219 |
|