No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14140-14140 |
赤裸裸的承诺 是 合同 的相反 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2300-2300 |
民政协议 是 合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2892-2892 |
提前终止费用条款 是 合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 52-52 |
金融合约 是 合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1468-1468 |
贷款承诺 是 合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14165-14165 |
婚姻合同 是 合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14178-14178 |
采购合同 是 合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14194-14194 |
服务合同 是 合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14216-14216 |
条约 是 合同 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16998-16998 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16997-16997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16996-16996 |
|