No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3256-3256 |
Employment is a subattribute of service contract |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1945-1945 |
Financial order is a subattribute of service contract |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14209-14209 |
Warranty is a subattribute of service contract |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52239-52239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52238-52238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52237-52237 |
|