|
|
  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 14107-14110 | |
| (externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") | pictureList.kif 5931-5931 | |
| (subAttribute Contract ActiveAgreement) | Mid-level-ontology.kif 14105-14105 | |
| (subAttribute Contract Promise) | Mid-level-ontology.kif 14106-14106 |
| appearance as argument number 2 |
|
|
| (contraryAttribute NakedPromise Contract) | Mid-level-ontology.kif 14112-14112 | |
| (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 1468-1468 | |
| (subAttribute MarriageContract Contract) | Mid-level-ontology.kif 14137-14137 | |
| (subAttribute PurchaseContract Contract) | Mid-level-ontology.kif 14150-14150 | |
| (subAttribute ServiceContract Contract) | Mid-level-ontology.kif 14166-14166 | |
| (subAttribute Treaty Contract) | Mid-level-ontology.kif 14188-14188 | |
| (termFormat ChineseLanguage Contract "合同") | domainEnglishFormat.kif 16998-16998 | |
| (termFormat ChineseTraditionalLanguage Contract "合同") | domainEnglishFormat.kif 16997-16997 | |
| (termFormat EnglishLanguage Contract "contract") | domainEnglishFormat.kif 16996-16996 |
| 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 14121-14135 | |
| (=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 14114-14119 |
| 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 20772-20785 | |
| (=> (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 7114-7116 | |
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 14095-14099 |
|
|
|
