consequent

(<=>     (employs ?Org ?Agent)     (exists (?Employment)         (and             (property ?Employment Employment)             (partyToAgreement ?Employment ?Org)             (partyToAgreement ?Employment ?Agent))))	FinancialOntology.kif 3277-3283	An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
(=>     (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)     (and         (exists (?CLAUSE)             (containsInformation ?CLAUSE ?PROP))         (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 15433-15438	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement, then there exists a content bearing physical such that the content bearing physical contains information the proposition and the agreement is a party to agreement of the cognitive agent
(=>     (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 a financial account is an instance of liability account and an agreement holds account the financial account and the financial account is held by another agreement, then there exists a cognitive agent such that the cognitive agent the attribute liability and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
(=>     (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 31544-31558	If a time interval is an instance of confirming and an agreement is an agent of the time interval and the time interval contains information a proposition, then there exist another time interval, a content bearing physical and the agreement2 such that the other time interval is an instance of stating and the other time interval happens earlier than the time interval and the content bearing physical is an instance of reaching agreement and the agreement2 is an agent of the other time interval and the content bearing physical contains information the proposition and the other time interval contains information the proposition and the agreement is a party to agreement of the content bearing physical and the agreement2 is a party to agreement of the content bearing physical
(=>     (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 2309-2328	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of an entity_MIL_THIS and the entity_MIL_THIS is an instance of military organization and another entity_THIS is a military of area of the entity_MIL_THIS and the other entity_THIS is an instance of nation and the entity_MIL_THIS is located at the other entity_FRIENDLY and the other entity_FRIENDLY is an instance of nation, then equal the other entity_THIS and the other entity_FRIENDLY and the other entity_THIS and the other entity_FRIENDLY are not enemies of each other and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and the agreement is a party to agreement of the entity_FRIENDLY and the entity_FRIENDLY is not an instance of military organization
(=>     (and         (instance ?CLOSE ClosingContract)         (agent ?CLOSE ?AGENT)         (destination ?CLOSE ?CONTRACT))     (partyToAgreement ?CONTRACT ?AGENT))	Mid-level-ontology.kif 23120-23125	If a process is an instance of closing contract and an agreement is an agent of the process and the process ends up at a cognitive agent, then the agreement is a party to agreement of the cognitive agent
(=>     (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 a process is an instance of reaching agreement and an agent is an agent of the process and an entity is a result of the process and the entity is an instance of agreement, then the entity is a party to agreement of the agent holds during after the time of existence of the process
(=>     (attribute ?Broker Broker)     (exists (?Contract)         (and             (instance ?Contract ServiceContract)             (partyToAgreement ?Broker ?Contract))))	FinancialOntology.kif 2075-2080	If broker is an attribute of a cognitive agent, then there exists an agreement such that the agreement is an instance of service contract and the agreement is a party to agreement of the cognitive agent
(=>     (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 an agreement specifies the rental of a kind of physical for a function quantity, then there exist a cognitive agent and another cognitive agent such that the agreement is a party to agreement of the cognitive agent and the agreement is a party to agreement of the other cognitive agent and the statement there exist an entity and another entity such that the entity is an instance of renting and the other entity is an instance of a kind of physical and the other entity is a patient of the entity and the cognitive agent is an agent of the entity and the entity ends up at the other cognitive agent has the modal force of obligation
(=>     (contractor ?BUILDING ?CONTRACTOR)     (exists (?CONTRACT ?AGENT)         (and             (property ?CONTRACT Contract)             (partyToAgreement ?AGENT ?CONTRACT)             (partyToAgreement ?CONTRACTOR ?CONTRACT)             (confersObligation                 (exists (?CONSTRUCT ?BUILDING2)                     (and                         (instance ?CONSTRUCT Constructing)                         (agent ?CONSTRUCT ?CONTRACTOR)                         (result ?CONSTRUCT ?BUILDING2)                         (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR))))	Mid-level-ontology.kif 22431-22444	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement the attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact
(=>     (instance ?AGREEMENT Agreement)     (exists (?AGENT1 ?AGENT2)         (and             (partyToAgreement ?AGENT1 ?AGREEMENT)             (partyToAgreement ?AGENT2 ?AGREEMENT)             (not                 (equal ?AGENT1 ?AGENT2)))))	Mid-level-ontology.kif 15333-15339	If an agreement is an instance of agreement, then there exist a cognitive agent and another cognitive agent such that the agreement is a party to agreement of the cognitive agent and the agreement is a party to agreement of the other cognitive agent and equal the cognitive agent and the other cognitive agent
(=>     (property ?C MarriageContract)     (exists (?P1 ?P2)         (and             (partyToAgreement ?P1 ?C)             (partyToAgreement ?P2 ?C)             (spouse ?P1 ?P2))))	Mid-level-ontology.kif 15530-15536	If an agreement the attribute marriage contract, then there exist a human and another human such that the agreement is a party to agreement of the human and the agreement is a party to agreement of the other human and the human is the spouse of the other human
(=>     (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 15543-15552	If a proposition the attribute purchase contract, then there exist a process, the processELLER and another agreement such that the process is an instance of selling and the processELLER is an agent of the process and the process ends up at the other agreement and the process expresses the content of the proposition and the processELLER is a party to agreement of the proposition and the other agreement is a party to agreement of the proposition
(=>     (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 15558-15567	If a proposition the attribute service contract, then there exist a service, an agreement and the propositionUST such that the service is an instance of service and the service expresses the content of the proposition and the agreement provides a service during the service and the propositionUST receives a service during the service and the agreement is a party to agreement of the proposition and the propositionUST is a party to agreement of the proposition
(=>     (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 a cognitive agent the attribute loan commitment, then there exist a loan, an agreement and another agreement such that the loan is an instance of loan and the agreement lends the loan and the loan is the borrower of the other agreement and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
(=>     (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 15580-15589	If a cognitive agent the attribute treaty, then there exist an agreement and another agreement such that the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent and the agreement is an instance of nation and the other agreement is an instance of nation and equal the agreement and the other agreement
(=>     (unratifiedSignatoryToAgreement ?AGENT ?PROP)     (not         (partyToAgreement ?AGENT ?PROP)))	Geography.kif 4581-4583	If an agreement is an unratified signatory to agreement of a cognitive agent, then the agreement is not a party to agreement of the cognitive agent

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