No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14140-14140 |
相反的屬性 赤裸裸的承諾 and 合同 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2300-2300 |
子屬性 民政協議 and 合同 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2892-2892 |
子屬性 提前終止費用條款 and 合同 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 52-52 |
子屬性 金融合約 and 合同 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1468-1468 |
子屬性 貸款承諾 and 合同 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14165-14165 |
子屬性 婚姻合同 and 合同 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14178-14178 |
子屬性 採購合同 and 合同 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14194-14194 |
子屬性 服務合同 and 合同 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14216-14216 |
子屬性 條約 and 合同 |
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 |
|