| Contract
| |
| appearance as argument number 1 |
|
|
| (documentation Contract EnglishLanguage "Contract is a type of Agreement that is legally enforceable, meaning a CognitiveAgent can pursue other parties of the agreement in a court of law if provisions of the contract are not followed or kept. It follows that all subpropositions of the Contract is Legal.") | Mid-level-ontology.kif 15516-15519 | |
| (externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") | pictureList.kif 5930-5930 | |
| (subAttribute Contract ActiveAgreement) | Mid-level-ontology.kif 15514-15514 | |
| (subAttribute Contract Promise) | Mid-level-ontology.kif 15515-15515 |
| appearance as argument number 2 |
|
|
| (contraryAttribute NakedPromise Contract) | Mid-level-ontology.kif 15521-15521 | |
| (subAttribute CivilAffairsAgreement Contract) | MilitaryProcesses.kif 2300-2300 | |
| (subAttribute EarlyTerminationFeeClause Contract) | ComputingBrands.kif 2892-2892 | |
| (subAttribute FinancialContract Contract) | FinancialOntology.kif 52-52 | |
| (subAttribute LoanCommitment Contract) | FinancialOntology.kif 1482-1482 | |
| (subAttribute MarriageContract Contract) | Mid-level-ontology.kif 15546-15546 | |
| (subAttribute PurchaseContract Contract) | Mid-level-ontology.kif 15559-15559 | |
| (subAttribute ServiceContract Contract) | Mid-level-ontology.kif 15575-15575 | |
| (subAttribute Treaty Contract) | Mid-level-ontology.kif 15597-15597 | |
| (termFormat ChineseLanguage Contract "合同") | domainEnglishFormat.kif 17013-17013 | |
| (termFormat ChineseTraditionalLanguage Contract "合同") | domainEnglishFormat.kif 17012-17012 | |
| (termFormat EnglishLanguage Contract "contract") | domainEnglishFormat.kif 17011-17011 |
| antecedent |
|
|
| (=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law)) |
Media.kif 995-1000 | |
| (=> (and (property ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (not (consistent ?PROP ?AGREEMENT))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility)) |
Mid-level-ontology.kif 15530-15544 | |
| (=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 15523-15528 |
| consequent |
|
|
| (=> (contractor ?BUILDING ?CONTRACTOR) (exists (?CONTRACT ?AGENT) (and (property ?CONTRACT Contract) (partyToAgreement ?AGENT ?CONTRACT) (partyToAgreement ?CONTRACTOR ?CONTRACT) (confersObligation (exists (?CONSTRUCT ?BUILDING2) (and (instance ?CONSTRUCT Constructing) (agent ?CONSTRUCT ?CONTRACTOR) (result ?CONSTRUCT ?BUILDING2) (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR)))) |
Mid-level-ontology.kif 22447-22460 | |
| (=> (instance ?DOC ContractDocument) (exists (?PROP) (and (containsInformation ?DOC ?PROP) (property ?PROP Contract)))) |
Media.kif 979-984 | |
| (=> (insured ?PROP ?ORG) (property ?PROP Contract)) |
Mid-level-ontology.kif 8329-8331 | |
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 15504-15508 |
|
|
|