|
|
|
| (documentation Contract EnglishLanguage "Attribute that applies to Propositions where something is promised in return, i.e. a reciprocal promise.") | Merge.kif 14289-14290 | %3 |
| (externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") | pictureList.kif 5953-5953 | externalImage contract "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Carbolic_smoke_ball_co.jpg" |
| (subAttribute Contract Promise) | Merge.kif 14288-14288 | contract is a subattribute of promise |
|
| (contraryAttribute NakedPromise Contract) | Merge.kif 14309-14309 | naked promise is opposed to contract |
| (subAttribute CivilAffairsAgreement Contract) | MilitaryProcesses.kif 2267-2267 | civil affairs agreement is a subattribute of contract |
| (subAttribute FinancialAccount Contract) | FinancialOntology.kif 55-55 | financial account is a subattribute of contract |
| (subAttribute FinancialContract Contract) | FinancialOntology.kif 52-52 | financial contract is a subattribute of contract |
| (subAttribute MarriageContract Contract) | Mid-level-ontology.kif 8454-8454 | marriage contract is a subattribute of contract |
| (subAttribute PurchaseContract Contract) | Merge.kif 14292-14292 | purchase contract is a subattribute of contract |
| (subAttribute ServiceContract Contract) | Merge.kif 14297-14297 | service contract is a subattribute of contract |
| (subAttribute Treaty Contract) | Mid-level-ontology.kif 8467-8467 | treaty is a subattribute of contract |
| (subclass LoanCommitment Contract) | FinancialOntology.kif 1329-1329 | loan commitment is a subclass of contract |
| (termFormat EnglishLanguage Contract "contract") | domainEnglishFormat.kif 2661-2661 | term format english language contract "contract" |
|
| (domain agreementActive 1 Contract) | FinancialOntology.kif 568-568 | the number 1 argument of agreement active is an instance of contract |
| (domain agreementMember 1 Contract) | FinancialOntology.kif 262-262 | the number 1 argument of agreement member is an instance of contract |
| (domain agreementPeriod 1 Contract) | FinancialOntology.kif 621-621 | the number 1 argument of agreement period is an instance of contract |
| (domain effectiveDate 1 Contract) | FinancialOntology.kif 3243-3243 | the number 1 argument of effective date is an instance of contract |
| (domain expirationDate 1 Contract) | FinancialOntology.kif 2447-2447 | the number 1 argument of expiration date is an instance of contract |
| (domain insured 1 Contract) | FinancialOntology.kif 1408-1408 | the number 1 argument of insured is an instance of contract |
|
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Merge.kif 14282-14286 |
|
|
|
