consequent

(=>     (instance ?AGREEMENT Agreement)     (exists (?AGENT1 ?AGENT2)         (and             (partyToAgreement ?AGENT1 ?AGREEMENT)             (partyToAgreement ?AGENT2 ?AGREEMENT)             (not                 (equal ?AGENT1 ?AGENT2)))))	Mid-level-ontology.kif 15573-15579	If X is an instance of agreement, then there exist Y, Z such that X is a party to agreement of Y, X is a party to agreement of Z, equal Y, and Z
(=>     (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)     (and         (exists (?CLAUSE)             (containsInformation ?CLAUSE ?PROP))         (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 15673-15678	If X has the responsibility to make Y Z in W, then there exists V such that V contains information Y and W is a party to agreement of X
(=>     (instance ?C MarriageContract)     (exists (?P1 ?P2)         (and             (partyToAgreement ?P1 ?C)             (partyToAgreement ?P2 ?C)             (spouse ?P1 ?P2))))	Mid-level-ontology.kif 15774-15780	If X is an instance of marriage contract, then there exist Y, Z such that X is a party to agreement of Y, X is a party to agreement of Z, and Y is the spouse of Z
(=>     (instance ?C PurchaseContract)     (exists (?S ?SELLER ?BUYER)         (and             (instance ?S Selling)             (agent ?S ?SELLER)             (destination ?S ?BUYER)             (realization ?S ?C)             (partyToAgreement ?C ?SELLER)             (partyToAgreement ?C ?BUYER))))	Mid-level-ontology.kif 15787-15796	If X is an instance of purchase contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of selling (3) Z is an agent of Y (4) Y ends up at W (5) Y expresses the content of X (6) Z is a party to agreement of X (7) W is a party to agreement of X
(=>     (instance ?C ServiceContract)     (exists (?SP ?SERVICE ?CUST)         (and             (instance ?SP ServiceProcess)             (realization ?SP ?C)             (serviceProvider ?SP ?SERVICE)             (serviceRecipient ?SP ?CUST)             (partyToAgreement ?C ?SERVICE)             (partyToAgreement ?C ?CUST))))	Mid-level-ontology.kif 15802-15811	If X is an instance of service contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of service (3) Y expresses the content of X (4) Z provides a service during Y (5) W receives a service during Y (6) Z is a party to agreement of X (7) W is a party to agreement of X
(=>     (instance ?T Treaty)     (exists (?N1 ?N2)         (and             (partyToAgreement ?T ?N1)             (partyToAgreement ?T ?N2)             (instance ?N1 Nation)             (instance ?N2 Nation)             (not                 (equal ?N1 ?N2)))))	Mid-level-ontology.kif 15824-15833	If X is an instance of treaty, then All of the following hold: (1) there exist Y (2) Z such that Y is a party to agreement of X (3) Z is a party to agreement of X (4) Y is an instance of nation (5) Z is an instance of nation (6) equal Y (7) 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
(=>     (and         (instance ?CLOSE ClosingContract)         (agent ?CLOSE ?AGENT)         (destination ?CLOSE ?CONTRACT))     (partyToAgreement ?CONTRACT ?AGENT))	Mid-level-ontology.kif 23696-23701	If X is an instance of closing contract, Y is an agent of X, and X ends up at Z, then Y is a party to agreement of Z
(=>     (and         (instance ?C Confirming)         (agent ?C ?A)         (containsInformation ?C ?P))     (exists (?S ?RA ?A2)         (and             (instance ?S Stating)             (earlier ?S ?C)             (instance ?RA ReachingAgreement)             (agent ?S ?A2)             (containsInformation ?RA ?P)             (containsInformation ?S ?P)             (partyToAgreement ?RA ?A)             (partyToAgreement ?RA ?A2))))	Mid-level-ontology.kif 32246-32260	If X is an instance of confirming, Y is an agent of X, and X contains information Z, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of stating (3) W happens earlier than X (4) V is an instance of reaching agreement (5) U is an agent of W (6) V contains information Z (7) W contains information Z (8) Y is a party to agreement of V (9) U is a party to agreement of V
(=>     (contractedRentalPrice ?OBJ ?QUANT ?AGREE)     (exists (?SELLER ?CUSTOMER)         (and             (partyToAgreement ?SELLER ?AGREE)             (partyToAgreement ?CUSTOMER ?AGREE)             (modalAttribute                 (exists (?R ?O)                     (and                         (instance ?R Renting)                         (instance ?O ?OBJ)                         (patient ?R ?O)                         (agent ?R ?SELLER)                         (destination ?R ?CUSTOMER))) Obligation))))	Catalog.kif 513-526	If X specifies the rental of Y for Z, then All of the following hold: (1) there exist W (2) V such that X is a party to agreement of W (3) X is a party to agreement of V (4) the statement there exist U (5) T such that U is an instance of renting (6) T is an instance of Y (7) T is a patient of U (8) W is an agent of U (9) U ends up at V has the modal force of obligation
(=>     (and         (instance ?Account LiabilityAccount)         (accountHolder ?Account ?Agent)         (accountAt ?Account ?Bank))     (exists (?Debt)         (and             (property ?Debt Liability)             (partyToAgreement ?Debt ?Agent)             (partyToAgreement ?Debt ?Bank))))	FinancialOntology.kif 1199-1208	If X is an instance of liability account, Y holds account X, and X is held by Z, then there exists W such that W the attribute liability, Y is a party to agreement of W, and Z is a party to agreement of W
(=>     (instance ?Commitment LoanCommitment)     (exists (?Loan ?Lender ?Borrower)         (and             (instance ?Loan Loan)             (lender ?Loan ?Lender)             (borrower ?Loan ?Borrower)             (partyToAgreement ?Commitment ?Lender)             (partyToAgreement ?Commitment ?Borrower))))	FinancialOntology.kif 1515-1523	If X is an instance of loan commitment, then there exist Y, Z, W such that Y is an instance of loan, Z lends Y, Y is the borrower of W, Z is a party to agreement of X, and W is a party to agreement of X
(=>     (attribute ?Broker Broker)     (exists (?Contract)         (and             (instance ?Contract ServiceContract)             (partyToAgreement ?Broker ?Contract))))	FinancialOntology.kif 2105-2110	If broker is an attribute of X, then there exists Y such that Y is an instance of service contract and Y is a party to agreement of X
(<=>     (employs ?Org ?Agent)     (exists (?Employment)         (and             (property ?Employment Employment)             (partyToAgreement ?Employment ?Org)             (partyToAgreement ?Employment ?Agent))))	FinancialOntology.kif 3317-3323	X employs Y if, only if there exists Z such that Z the attribute employment, X is a party to agreement of Z, and Y is a party to agreement of Z
(=>     (unratifiedSignatoryToAgreement ?AGENT ?PROP)     (not         (partyToAgreement ?AGENT ?PROP)))	Geography.kif 4545-4547	If X is an unratified signatory to agreement of Y, then X is not a party to agreement of Y
(=>     (and         (instance ?RA ReachingAgreement)         (agent ?RA ?AGENT)         (result ?RA ?PROP)         (instance ?PROP Agreement))     (holdsDuring         (FutureFn             (WhenFn ?RA))         (partyToAgreement ?AGENT ?PROP)))	Media.kif 147-154	If X is an instance of reaching agreement, Y is an agent of X, Z is a result of X, and Z is an instance of agreement, then Z is a party to agreement of Y holds during after the time of existence of X
(=>     (and         (instance ?CAA CivilAffairsAgreement)         (partyToAgreement ?AGENT_MIL_THIS ?CAA)         (instance ?AGENT_MIL_THIS MilitaryOrganization)         (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS)         (instance ?NATION_THIS Nation)         (located ?AGENT_MIL_THIS ?NATION_FRIENDLY)         (instance ?NATION_FRIENDLY Nation))     (and         (not             (equal ?NATION_THIS ?NATION_FRIENDLY))         (not             (enemy ?NATION_THIS ?NATION_FRIENDLY))         (exists (?AGENT_FRIENDLY)             (and                 (located ?AGENT_FRIENDLY ?NATION_FRIENDLY)                 (partyToAgreement ?AGENT_FRIENDLY ?CAA)                 (not                     (instance ?AGENT_FRIENDLY MilitaryOrganization))))))	MilitaryProcesses.kif 2332-2351	If All of the following hold: (1) X is an instance of civil affairs agreement (2) X is a party to agreement of ?AGENT_MIL_THIS (3) ?AGENT_MIL_THIS is an instance of military organization (4) ?NATION_THIS is a military of area of ?AGENT_MIL_THIS (5) ?NATION_THIS is an instance of nation (6) ?AGENT_MIL_THIS is located at ?NATION_FRIENDLY (7) ?NATION_FRIENDLY is an instance of nation, then equal ?NATION_THIS and ?NATION_FRIENDLY, ?NATION_THIS and ?NATION_FRIENDLY are not enemies of each other, and there exists ?AGENT_FRIENDLY such that ?AGENT_FRIENDLY is located at ?NATION_FRIENDLY, X is a party to agreement of ?AGENT_FRIENDLY, and ?AGENT_FRIENDLY is not an instance of military organization
(=>     (instance ?AA AirlineAlliance)     (exists (?A1 ?A2 ?AGR)         (and             (instance ?A1 Airline)             (instance ?A2 Airline)             (instance ?AGR Agreement)             (partyToAgreement ?A1 ?AGR)             (partyToAgreement ?A2 ?AGR))))	Society.kif 116-124	If X is an instance of AirlineAlliance, then there exist Y, Z, W such that Y is an instance of Airline, Z is an instance of Airline, W is an instance of agreement, W is a party to agreement of Y, and W is a party to agreement of Z

Show simplified definition (without tree view)
Show simplified definition (with tree view)