|
|
| appearance as argument number 1 |
|
|
| (documentation Contract EnglishLanguage "attribute that applies to propositions where something is promised in return, i.e. a reciprocal promise.") | Merge.kif 14327-14328 | |
| (externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") | pictureList.kif 5950-5950 | externalImage contract and "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Carbolic_smoke_ball_co.jpg" |
| (subAttribute Contract Promise) | Merge.kif 14326-14326 | Contract is a subattribute of promise |
| appearance as argument number 2 |
|
|
| (contraryAttribute NakedPromise Contract) | Merge.kif 14347-14347 | Naked promise is opposed to contract |
| (subAttribute CivilAffairsAgreement Contract) | MilitaryProcesses.kif 2261-2261 | 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 8503-8503 | Marriage contract is a subattribute of contract |
| (subAttribute PurchaseContract Contract) | Merge.kif 14330-14330 | Purchase contract is a subattribute of contract |
| (subAttribute ServiceContract Contract) | Merge.kif 14335-14335 | Service contract is a subattribute of contract |
| (subAttribute Treaty Contract) | Mid-level-ontology.kif 8516-8516 | Treaty is a subattribute of contract |
| (subclass LoanCommitment Contract) | FinancialOntology.kif 1330-1330 | Loan commitment is a subclass of contract |
| (termFormat EnglishLanguage Contract "contract") | domainEnglishFormat.kif 2636-2636 | term format english language, contract and "contract" |
| appearance as argument number 3 |
|
|
| (domain agreementActive 1 Contract) | FinancialOntology.kif 569-569 | 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 3241-3241 | The number 1 argument of effective date is an instance of contract |
| (domain expirationDate 1 Contract) | FinancialOntology.kif 2445-2445 | The number 1 argument of expiration date is an instance of contract |
| (domain insured 1 Contract) | FinancialOntology.kif 1406-1406 | The number 1 argument of insured is an instance of contract |
| antecedent |
|
|
| (=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law)) |
Media.kif 907-912 |
|
| consequent |
|
|
| (=> (instance ?DOC ContractDocument) (exists (?PROP) (and (containsInformation ?DOC ?PROP) (property ?PROP Contract)))) |
Media.kif 891-896 |
|
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Merge.kif 14320-14324 |
|
|
|
