consequent

(<=>     (customer ?AGENT1 ?AGENT2)     (exists (?SERVICE)         (and             (instance ?SERVICE FinancialTransaction)             (agent ?SERVICE ?AGENT2)             (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 8889-8895	customer a cognitive agent and an agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent
(<=>     (customerRepresentative ?Person1 ?Person2 ?Org)     (exists (?Service)         (and             (instance ?Service FinancialTransaction)             (employs ?Org ?Person1)             (agent ?Service ?Person1)             (destination ?Service ?Person2))))	FinancialOntology.kif 3653-3660	customerRepresentative a cognitive agent, another cognitive agent and an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
(=>     (and         (attribute ?TRANS ?ATTR)         (instance ?ATTR AccountAttribute))     (instance ?TRANS FinancialTransaction))	UXExperimentalTerms.kif 1637-1641	If an attribute is an attribute of an object and the attribute is an instance of AccountAttribute, then the object is an instance of financial transaction
(=>     (and         (instance ?JOIN Hiring)         (instance ?ORG Organization)         (agent ?JOIN ?ORG)         (patient ?JOIN ?PERSON))     (expects ?ORG         (exists (?FT)             (and                 (instance ?FT FinancialTransaction)                 (agent ?FT ?ORG)                 (destination ?FT ?PERSON)                 (earlier                     (WhenFn ?JOIN)                     (WhenFn ?FT))))))	Merge.kif 10791-10803	If a process is an instance of hiring and a cognitive agent is an instance of organization and the cognitive agent is an agent of the process and an entity is a patient of the process, then expects the cognitive agent and there exists another entity such that the other entity is an instance of financial transaction and the cognitive agent is an agent of the other entity and the other entity ends up at the entity and the time of existence of the process happens earlier than the time of existence of the other entity
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG Utilities))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (or                         (instance ?EV Removing)                         (instance ?THING Sewage))                     (patient ?EV ?THING)                     (or                         (instance ?THING Electron)                         (instance ?THING Water)                         (and                             (instance ?THING PureSubstance)                             (capability Combustion patient ?THING)))                     (member ?MEM2 ?ORG)                     (instance ?EV2 FinancialTransaction)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 954-977	If a collection is an instance of organization and Utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of Sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing burning as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=>     (and         (instance ?PSP ProfitSharingPlan)         (accountHolder ?PSP ?H)         (employs ?O ?H)         (profit ?A             (MeasureFn ?P ?U))         (instance ?U UnitOfCurrency)         (agent ?A ?O))     (exists (?C ?PAY)         (and             (instance ?PAY FinancialTransaction)             (transactionAmount ?PAY                 (MeasureFn ?C ?U))             (lessThan ?C ?P)             (destination ?PAY ?PSP))))	FinancialOntology.kif 1208-1223	If a FinancialAccount is an instance of ProfitSharingPlan and accountHolder the FinancialAccount and a cognitive agent and an agent employs the cognitive agent and profit a financial transaction and a real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency and the agent is an agent of the financial transaction, then there exist another real number and the real numberAY such that the real numberAY is an instance of financial transaction and transactionAmount the real numberAY and the other real number the unit of measure(s) and the other real number is less than the real number and the real numberAY ends up at the FinancialAccount
(=>     (and         (instance ?Service CommercialService)         (agent ?Service ?Agent)         (employs ?Org ?Agent)         (destination ?Service ?Customer))     (hasPurpose ?Service         (exists (?Transaction)             (and                 (instance ?Transaction FinancialTransaction)                 (destination ?Transaction ?Org)                 (origin ?Transaction ?Customer)))))	FinancialOntology.kif 3608-3619	If a process is an instance of CommercialService and a cognitive agent is an agent of the process and an agent employs the cognitive agent and the process ends up at an entity, then the process has the purpose there exists another entity such that the other entity is an instance of financial transaction and the other entity ends up at the agent and the other entity originates at the entity
(=>     (and         (instance ?Statement BankStatement)         (statementAccount ?Statement ?Account))     (exists (?Transaction)         (and             (instance ?Transaction FinancialTransaction)             (or                 (origin ?Transaction                     (CurrencyFn ?Account))                 (destination ?Transaction                     (CurrencyFn ?Account)))             (realization ?Statement ?Transaction))))	FinancialOntology.kif 3903-3913	If a BankStatement is an instance of BankStatement and statementAccount the BankStatement and a FinancialAccount, then there exists a process such that the process is an instance of financial transaction and the process originates at CurrencyFn the FinancialAccount or the process ends up at CurrencyFn the FinancialAccount and the BankStatement expresses the content of the process
(=>     (attribute ?M CoinOperated)     (hasPurpose ?M         (exists (?C ?FT ?A ?ACT)             (and                 (instance ?C CurrencyCoin)                 (instance ?FT FinancialTransaction)                 (destination ?FT ?M)                 (patient ?FT ?C)                 (origin ?FT ?A)                 (causes ?FT ?ACT)                 (wants ?A ?ACT)))))	Mid-level-ontology.kif 31379-31390	If CoinOperated is an attribute of an object, then the object has the purpose there exist an entity, another entity,, , a third entity and the third entityCT such that the entity is an instance of CurrencyCoin and the other entity is an instance of financial transaction and the other entity ends up at the object and the entity is a patient of the other entity and the other entity originates at the third entity and the other entity causes the third entityCT and the third entity wants the third entityCT
(=>     (attribute ?PHYSICAL Profitable)     (=>         (and             (instance ?F FinancialTransaction)             (patient ?F ?PHYSICAL)             (profit ?F                 (MeasureFn ?C ?U)))         (greaterThan ?C 0)))	Economy.kif 6644-6651	If Profitable is an attribute of an object, then if a financial transaction is an instance of financial transaction and the object is a patient of the financial transaction and profit the financial transaction and a real number an unit of measure(s), then the real number is greater than 0
(=>     (instance ?PS PayStub)     (exists (?FT ?O ?E)         (and             (instance ?FT FinancialTransaction)             (origin ?FT ?O)             (destination ?FT ?E)             (refers ?PS ?FT))))	Medicine.kif 3387-3394	If an entity is an instance of PayStub, then there exist a process, an object and another entity such that the process is an instance of financial transaction and the process originates at the object and the process ends up at the other entity and the entity includes a reference to the process
(=>     (instance ?VD VendingMachine)     (hasPurpose ?VD         (exists (?T ?C ?P)             (and                 (instance ?T FinancialTransaction)                 (instrument ?T ?VD)                 (patient ?T ?C)                 (instance ?C Currency)                 (patient ?T ?P)                 (instance ?P Product)))))	Mid-level-ontology.kif 2437-2447	If a physical is an instance of VendingMachine, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of financial transaction and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of Currency and the third entity is a patient of the entity and the third entity is an instance of product
(=>     (instance ?X Marketplace)     (hasPurpose ?X         (exists (?EV)             (and                 (instance ?EV FinancialTransaction)                 (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 24073-24079	If a physical is an instance of Marketplace, then the physical has the purpose there exists an entity such that the entity is an instance of financial transaction and event located the entity and the physical
(=>     (instance ?X RestaurantBuilding)     (hasPurpose ?X         (exists (?OWN ?EMP ?EV ?P ?PAY)             (and                 (employs ?OWN ?EMP)                 (possesses ?OWN ?X)                 (instance ?P Human)                 (instance ?PAY FinancialTransaction)                 (agent ?PAY ?P)                 (patient ?PAY ?EMP)                 (confersRight ?EMP ?EV ?P)                 (instance ?EV Eating)                 (agent ?EV ?P)                 (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 24192-24206	If a physical is an instance of RestaurantBuilding, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the fourth entityAY such that the entity employs the other entity and the entity possesses the physical and the fourth entity is an instance of human and the fourth entityAY is an instance of financial transaction and the fourth entity is an agent of the fourth entityAY and the other entity is a patient of the fourth entityAY and the third entity allows the fourth entity to perform task of the type the other entity and the third entity is an instance of eating and the fourth entity is an agent of the third entity and event located the third entity and the physical
(=>     (instance ?X Store)     (hasPurpose ?X         (exists (?EV)             (and                 (instance ?EV FinancialTransaction)                 (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 8240-8246	If a physical is an instance of Store, then the physical has the purpose there exists an entity such that the entity is an instance of financial transaction and event located the entity and the physical
(=>     (standardRetailHours ?TIMEINT ?AGENT)     (exists (?FT ?T ?C ?SRH ?NONSRH)         (and             (instance ?FT FinancialTransaction)             (agent ?FT ?AGENT)             (instance ?T ?TIMEINT)             (destination ?FT ?C)             (equal ?SRH                 (ProbabilityFn                     (and                         (during                             (WhenFn ?FT) ?T)                         (customer ?C ?AGENT))))             (equal ?NONSRH                 (ProbabilityFn                     (and                         (not                             (during                                 (WhenFn ?FT) ?T))                         (customer ?C ?AGENT))))             (greaterThan ?SRH ?NONSRH))))	Dining.kif 388-407	If standardRetailHours a kind of time interval and an agent, then there exist a process, an entity,, , another entity,, , a real number and another real number such that the process is an instance of financial transaction and the agent is an agent of the process and the entity is an instance of a kind of time interval and the process ends up at the other entity and equal the real number and the probability of the time of existence of the process takes place during the entity and customer the other entity and the agent and equal the other real number and the probability of the time of existence of the process doesn't take place during the entity and customer the other entity and the agent and the real number is greater than the other real number

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