Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Contract Proposition) | Mid-level-ontology.kif 15734-15734 | Contract is a subclass of proposition |
| (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 15735-15738 | Contract is a subclass of proposition |
| (externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") | pictureList.kif 5930-5930 | Contract is a subclass of proposition |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?C Contract) (property ?C ActiveAgreement)) |
Mid-level-ontology.kif 15742-15744 | If X is an instance of contract, then X the attribute active agreement |
| (=> (instance ?C Contract) (property ?C Legal)) |
Mid-level-ontology.kif 15746-15748 | If X is an instance of contract, then X the attribute legal |
| (=> (and (instance ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (containsFormula ?PROP ?FORM1) (containsFormula ?AGREEMENT ?FORM2) (not (consistent ?FORM1 ?FORM2))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility)) |
Mid-level-ontology.kif 15750-15767 | If All of the following hold: (1) X is an instance of 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) V contains the formula U (8) X contains the formula T (9) T is not a consistent of U, then the statement there exists S such that S is an instance of legal action, Z is the plaintiff in S, and Y is the defendant in S has the modal force of possibility |
| (=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law)) |
Media.kif 975-980 | 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 8458-8460 | 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 15724-15728 | 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 23065-23078 | 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 959-964 | If X is an instance of contract document, then there exists Y such that X contains information Y and Y the attribute contract |
|
