No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3256-3256 |
雇用 是 服务合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1945-1945 |
金融秩序 是 服务合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14209-14209 |
保证 是 服务合同 的 subAttribute |
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 |
|