| appearance as argument number 1 |
|
|
| (subAttribute Contract ActiveAgreement) | Mid-level-ontology.kif 15655-15655 | Contract is a subattribute of active agreement |
| (subAttribute Contract Promise) | Mid-level-ontology.kif 15656-15656 | Contract is a subattribute of promise |
| (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 15657-15660 | Contract is a subattribute of promise |
| (externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") | pictureList.kif 5930-5930 | Contract is a subattribute of promise |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (property ?AGREEMENT Contract) (subProposition ?X ?AGREEMENT)) (modalAttribute ?X Legal)) |
Mid-level-ontology.kif 15664-15668 | If X the attribute contract and Y is a sub-proposition of X, then the statement Y has the modal force of legal |
| (=> (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 15670-15684 | If All of the following hold: (1) X the attribute contract (2) X is a party to agreement of Y (3) X is a party to agreement of Z (4) W is an instance of intentional process (5) Y is an agent of W (6) W expresses the content of V (7) X is not a consistent of V, then the statement there exists U such that U is an instance of legal action, Z is the plaintiff in U, and Y is the defendant in U has the modal force of possibility |
| (=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law)) |
Media.kif 995-1000 | If X is an instance of contract document, X contains information Y, and Y the attribute contract, then Y the attribute law |
| consequent |
|
|
| (=> (insured ?PROP ?ORG) (property ?PROP Contract)) |
Mid-level-ontology.kif 8321-8323 | If X is an insured of Y, then Y the attribute contract |
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 15645-15649 | If X the attribute promise, then X the attribute contract or X the attribute naked promise |
| (=> (contractor ?BUILDING ?CONTRACTOR) (exists (?CONTRACT ?AGENT) (and (property ?CONTRACT Contract) (partyToAgreement ?AGENT ?CONTRACT) (partyToAgreement ?CONTRACTOR ?CONTRACT) (confersObligation ?AGENT ?CONTRACTOR (exists (?CONSTRUCT ?BUILDING2) (and (instance ?CONSTRUCT Constructing) (agent ?CONSTRUCT ?CONTRACTOR) (result ?CONSTRUCT ?BUILDING2) (instance ?BUILDING2 StationaryArtifact))))))) |
Mid-level-ontology.kif 23131-23144 | If X has a contract to build Y, then All of the following hold: (1) there exist Z (2) W such that Z the attribute contract (3) Z is a party to agreement of W (4) Z is a party to agreement of X (5) X obligates there exist V (6) U such that V is an instance of constructing (7) X is an agent of V (8) U is a result of V (9) U is an instance of stationary artifact to perform task of the type W |
| (=> (instance ?DOC ContractDocument) (exists (?PROP) (and (containsInformation ?DOC ?PROP) (property ?PROP Contract)))) |
Media.kif 979-984 | If X is an instance of contract document, then there exists Y such that X contains information Y and Y the attribute contract |
|
|
|