| 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 10916-10919 | |
| (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 10914-10914 | |
| (subAttribute Contract Promise) | Mid-level-ontology.kif 10915-10915 |
| appearance as argument number 2 |
|
|
| (contraryAttribute NakedPromise Contract) | Mid-level-ontology.kif 10921-10921 | |
| (subAttribute CivilAffairsAgreement Contract) | MilitaryProcesses.kif 2280-2280 | |
| (subAttribute FinancialContract Contract) | FinancialOntology.kif 52-52 | |
| (subAttribute LoanCommitment Contract) | FinancialOntology.kif 1422-1422 | |
| (subAttribute MarriageContract Contract) | Mid-level-ontology.kif 10946-10946 | |
| (subAttribute PurchaseContract Contract) | Mid-level-ontology.kif 10959-10959 | |
| (subAttribute ServiceContract Contract) | Mid-level-ontology.kif 10975-10975 | |
| (subAttribute Treaty Contract) | Mid-level-ontology.kif 10997-10997 | |
| (subclass EarlyTerminationFeeClause Contract) | ComputingBrands.kif 2848-2848 | |
| (termFormat ChineseLanguage Contract "合同") | domainEnglishFormat.kif 16985-16985 | |
| (termFormat ChineseTraditionalLanguage Contract "合同") | domainEnglishFormat.kif 16984-16984 | |
| (termFormat EnglishLanguage Contract "contract") | domainEnglishFormat.kif 16983-16983 |
| 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 10930-10944 | |
| (=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 10923-10928 |
| 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 17228-17241 | |
| (=> (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 6169-6171 | |
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 10904-10908 |
|
|
|