(=>
(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 |
confersObligation