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 52223-52223 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52222-52222 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52221-52221 |
|