consequent

(=>     (instance ?AGREEMENT Agreement)     (exists (?AGENT1 ?AGENT2)         (and             (partyToAgreement ?AGENT1 ?AGREEMENT)             (partyToAgreement ?AGENT2 ?AGREEMENT)             (not                 (equal ?AGENT1 ?AGENT2)))))	Mid-level-ontology.kif 15494-15500	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 15594-15599	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
(=>     (property ?C MarriageContract)     (exists (?P1 ?P2)         (and             (partyToAgreement ?P1 ?C)             (partyToAgreement ?P2 ?C)             (spouse ?P1 ?P2))))	Mid-level-ontology.kif 15691-15697	If X the attribute 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
(=>     (property ?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 15704-15713	If X the attribute 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
(=>     (property ?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 15719-15728	If X the attribute 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
(=>     (property ?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 15741-15750	If X the attribute 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 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
(=>     (and         (instance ?CLOSE ClosingContract)         (agent ?CLOSE ?AGENT)         (destination ?CLOSE ?CONTRACT))     (partyToAgreement ?CONTRACT ?AGENT))	Mid-level-ontology.kif 23820-23825	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 32327-32341	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 1178-1187	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
(=>     (property ?Commitment LoanCommitment)     (exists (?Loan ?Lender ?Borrower)         (and             (instance ?Loan Loan)             (lender ?Loan ?Lender)             (borrower ?Loan ?Borrower)             (partyToAgreement ?Commitment ?Lender)             (partyToAgreement ?Commitment ?Borrower))))	FinancialOntology.kif 1489-1497	If X the attribute 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 2075-2080	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 3277-3283	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 4568-4570	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 153-160	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 2328-2347	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners