| 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 11785-11788 | |
| (externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") | pictureList.kif 5932-5932 | |
| (subAttribute Contract ActiveAgreement) | Mid-level-ontology.kif 11783-11783 | |
| (subAttribute Contract Promise) | Mid-level-ontology.kif 11784-11784 |
| appearance as argument number 2 |
|
|
| (contraryAttribute NakedPromise Contract) | Mid-level-ontology.kif 11790-11790 | |
| (subAttribute CivilAffairsAgreement Contract) | MilitaryProcesses.kif 2280-2280 | |
| (subAttribute FinancialContract Contract) | FinancialOntology.kif 52-52 | |
| (subAttribute LoanCommitment Contract) | FinancialOntology.kif 1409-1409 | |
| (subAttribute MarriageContract Contract) | Mid-level-ontology.kif 11815-11815 | |
| (subAttribute PurchaseContract Contract) | Mid-level-ontology.kif 11828-11828 | |
| (subAttribute ServiceContract Contract) | Mid-level-ontology.kif 11844-11844 | |
| (subAttribute Treaty Contract) | Mid-level-ontology.kif 11866-11866 | |
| (subclass EarlyTerminationFeeClause Contract) | ComputingBrands.kif 2863-2863 | |
| (termFormat ChineseLanguage Contract "合同") | domainEnglishFormat.kif 16996-16996 | |
| (termFormat ChineseTraditionalLanguage Contract "合同") | domainEnglishFormat.kif 16995-16995 | |
| (termFormat EnglishLanguage Contract "contract") | domainEnglishFormat.kif 16994-16994 |
| 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 11799-11813 | |
| (=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 11792-11797 |
| 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 18508-18521 | |
| (=> (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 6802-6804 | |
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 11773-11777 |
|
|
|