Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| confersObligation |
| appearance as argument number 1 |
|
| (instance confersObligation TernaryPredicate) | Merge.kif 17802-17802 | confers obligation is an instance of ternary predicate |
| (domain confersObligation 1 Entity) | Merge.kif 17803-17803 | The number 1 argument of confers obligation is an instance of entity |
| (domain confersObligation 2 CognitiveAgent) | Merge.kif 17804-17804 | The number 2 argument of confers obligation is an instance of cognitive agent |
| (domain confersObligation 3 Formula) | Merge.kif 17805-17805 | The number 3 argument of confers obligation is an instance of formula |
| (relatedInternalConcept confersObligation confersRight) | Merge.kif 17806-17806 | confers obligation is internally related to confers right |
| (documentation confersObligation EnglishLanguage "Expresses the relationship between a a Formula, an Entity, and a CognitiveAgent when the Entity obligates the CognitiveAgent to bring it about that the Formula is true.") | Merge.kif 17807-17810 | confers obligation is internally related to confers right |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage confersObligation "confers obligation") | domainEnglishFormat.kif 16584-16584 | |
| (termFormat ChineseTraditionalLanguage confersObligation "授予義務") | domainEnglishFormat.kif 16585-16585 | |
| (termFormat ChineseLanguage confersObligation "授予义务") | domainEnglishFormat.kif 16586-16586 | |
| (format EnglishLanguage confersObligation "%2 %n{doesn't} obligate%p{s} %3 to perform task of the type %1") | english_format.kif 202-202 |
| antecedent |
|
|
| (=> (confersObligation ?AGENT1 ?AGENT2 ?FORMULA) (holdsObligation ?AGENT2 ?FORMULA)) |
Merge.kif 17812-17814 | If X obligates Y to perform task of the type Z, then X is obliged to perform tasks of type Y |
| (=> (and (agreementEffectiveDate ?AGR ?DATE) (confersObligation ?AGR ?AGENT ?FORMULA) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsObligation ?AGENT ?FORMULA))) |
Government.kif 677-684 | If X is an agreement effective date of Y, Z obligates W to perform task of the type Y, and V is an instance of X, then Z is obliged to perform tasks of type W holds during immediately after V |
| (=> (confersObligation ?E ?A ?F) (confersRight ?E ?A ?F)) |
Law.kif 324-326 | If X obligates Y to perform task of the type Z, then X allows Y to perform task of the type Z |
| (=> (and (policyEffectiveDate ?POL ?DATE) (confersObligation ?POL ?AGENT ?FORMULA) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsObligation ?AGENT ?FORMULA))) |
TravelPolicies.kif 190-195 | If policyEffectiveDate X and Y, Z obligates W to perform task of the type X, and V is an instance of Y, then Z is obliged to perform tasks of type W holds during immediately after V |
| consequent |
|
|
| (=> (legalRelation ?AGENT1 ?AGENT2) (exists (?DECLARE ?OBLIGATION) (and (instance ?DECLARE Declaring) (confersObligation ?DECLARE ?AGENT1 ?OBLIGATION) (confersObligation ?DECLARE ?AGENT2 ?OBLIGATION)))) |
Merge.kif 16884-16890 | If there is a legal relation between X and Y, then there exist Z, W such that Z is an instance of declaring, X obligates W to perform task of the type Z, and Y obligates W to perform task of the type Z |
| (=> (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 ?PO PurchaseOrder) (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?PO) (buys ?BUYER ?SELLER ?PRODUCT) (confersObligation ?BUYER ?SELLER (exists (?BUYING) (and (before (BeginFn (WhenFn ?PO)) (BeginFn (WhenFn ?BUYING))) (instance ?BUYING Buying) (instance ?PRODUCT Product) (objectTransferred ?BUYING ?PRODUCT) (refers ?PO ?PRODUCT) (agent ?BUYING ?BUYER) (patient ?BUYING ?SELLER))))))) |
Mid-level-ontology.kif 32494-32514 | If X is an instance of purchase order, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that the unique identifier of Y is X (3) Z buys V from W (4) W obligates there exists U such that the beginning of the time of existence of X happens before the beginning of the time of existence of U (5) U is an instance of buying (6) V is an instance of product (7) the object transferred in U is V (8) X includes a reference to V (9) Z is an agent of U (10) W is a patient of U to perform task of the type Z |
| (=> (and (subclass ?PUB JointPublication) (instance ?ONE ?PUB) (containsFormula ?ONE ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?ORG ?JORG ?CONTENT)))) |
MilitaryProcesses.kif 962-971 | If X is a subclass of joint publication, Y is an instance of X, Y contains the formula Z, and W is the author of X, then there exists V such that V is a part of the organization US military and W obligates Z to perform task of the type V |
|