No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14139-14139 |
NakedPromise est l'oppos� de Contract |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2300-2300 |
CivilAffairsAgreement est un sous-attribut de Contract |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2892-2892 |
EarlyTerminationFeeClause est un sous-attribut de Contract |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 52-52 |
FinancialContract est un sous-attribut de Contract |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1468-1468 |
LoanCommitment est un sous-attribut de Contract |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14164-14164 |
MarriageContract est un sous-attribut de Contract |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14177-14177 |
PurchaseContract est un sous-attribut de Contract |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14193-14193 |
ServiceContract est un sous-attribut de Contract |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14215-14215 |
Treaty est un sous-attribut de Contract |
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 |
|