(=>     (and         (property ?Option Option)         (optionHolder ?Option ?Agent)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (underlier ?Option ?Stocks)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate)))     (holdsRight         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Stocks)                 (time ?Buy ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2545-2561	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent has the right to perform the class described by a symbolic string
(=>     (and         (property ?Option Option)         (optionSeller ?Option ?Agent)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate))         (underlier ?Option ?Stocks))     (holdsObligation         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Stocks)                 (time ?Buy ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2609-2625	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (property ?Option Option)         (optionSeller ?Option ?Seller)         (strikePrice ?Option ?Price)         (agreementExpirationDate ?Option ?ExpDate)         (underlier ?Option ?Stocks)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate)))     (holdsObligation         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Stocks)                 (time ?Sell ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Sell ?Agent))) ?Seller))	FinancialOntology.kif 2563-2581	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (property ?Option StockOption)         (underlier ?Option ?Stock))     (property ?Stock CommonStock))	FinancialOntology.kif 2634-2638	If an agreement the attribute stock option and a financial instrument is an underlier of the agreement, then the financial instrument the attribute common stock
(=>     (and         (property ?THING ?ATTR)         (instance ?ATTR ContestAttribute))     (exists (?CONTEST)         (and             (instance ?CONTEST Contest)             (or                 (agent ?CONTEST ?THING)                 (patient ?CONTEST ?THING)                 (subProcess ?THING ?CONTEST)))))	Merge.kif 16156-16166	If an agent the attribute an attribute and the attribute is an instance of contest attribute, then there exists a process such that the process is an instance of contest and the agent is an agent of the process or the agent is a patient of the process or the agent is a subprocess of the process
(=>     (and         (property ?THING ?ATTR)         (instance ?ATTR GameAttribute))     (exists (?GAME)         (and             (instance ?GAME Game)             (or                 (agent ?GAME ?THING)                 (patient ?GAME ?THING)                 (subProcess ?THING ?GAME)))))	Mid-level-ontology.kif 17280-17290	If an agent the attribute an attribute and the attribute is an instance of game attribute, then there exists a process such that the process is an instance of game and the agent is an agent of the process or the agent is a patient of the process or the agent is a subprocess of the process
(=>     (and         (property ?THING ?ATTR)         (instance ?ATTR SportsAttribute))     (exists (?SPORT)         (and             (instance ?SPORT Game)             (or                 (agent ?SPORT ?THING)                 (patient ?SPORT ?THING)                 (subProcess ?THING ?SPORT)))))	Mid-level-ontology.kif 17296-17306	If an agent the attribute an attribute and the attribute is an instance of sports attribute, then there exists a process such that the process is an instance of game and the agent is an agent of the process or the agent is a patient of the process or the agent is a subprocess of the process
(=>     (and         (successorAttribute ?ATTR1 ?ATTR2)         (holdsDuring ?TIME1             (property ?ENTITY ?ATTR2)))     (exists (?TIME2)         (and             (temporalPart ?TIME2                 (PastFn ?TIME1))             (holdsDuring ?TIME2                 (property ?ENTITY ?ATTR1)))))	Merge.kif 682-689	If an attribute is an immediate successor attribute of another attribute and an entity the attribute the other attribute holds during a time position, then there exists another time position such that the other time position is a part of before the time position and the entity the attribute the attribute holds during the other time position
(=>     (property ?AGREEMENT ActiveAgreement)     (instance ?AGREEMENT Agreement))	Mid-level-ontology.kif 11722-11724	If an entity the attribute active agreement, then the entity is an instance of agreement
(=>     (property ?AGREEMENT ActiveAgreement)     (modalAttribute         (exists (?PROC)             (realization ?PROC ?AGREEMENT)) Obligation))	Mid-level-ontology.kif 11726-11730	If an entity the attribute active agreement, then the statement there exists another entity such that the other entity expresses the content of the entity has the modal force of obligation
(=>     (property ?AGREEMENT Contract)     (forall (?X)         (=>             (subProposition ?X ?AGREEMENT)             (modalAttribute ?X Legal))))	Mid-level-ontology.kif 11765-11770	If a proposition the attribute contract, then for all a formula if the formula is a sub-proposition of the proposition, then the statement the formula has the modal force of legal
(=>     (property ?C MarriageContract)     (exists (?P1 ?P2)         (and             (partyToAgreement ?C ?P1)             (partyToAgreement ?C ?P2)             (spouse ?P1 ?P2))))	Mid-level-ontology.kif 11793-11799	If a cognitive agent the attribute marriage contract, then there exist a human and another human such that the human is a party to agreement of the cognitive agent and the other human is a party to agreement of the cognitive agent and the human is the spouse of the other human
(=>     (property ?C PurchaseContract)     (exists (?S)         (and             (instance ?S Selling)             (agent ?S ?SELLER)             (destination ?S ?BUYER)             (realization ?S ?C)             (partyToAgreement ?C ?SELLER)             (partyToAgreement ?C ?BUYER))))	Mid-level-ontology.kif 11806-11815	If a proposition the attribute purchase contract, then there exists a process such that the process is an instance of selling and the processELLER is an agent of the process and the process ends up at an agreement and the process expresses the content of the proposition and the processELLER is a party to agreement of the proposition and the agreement is a party to agreement of the proposition
(=>     (property ?C ServiceContract)     (exists (?SP)         (and             (instance ?SP ServiceProcess)             (realization ?SP ?C)             (serviceProvider ?SP ?SERVICE)             (serviceRecipient ?SP ?CUST)             (partyToAgreement ?C ?SERVICE)             (partyToAgreement ?C ?CUST))))	Mid-level-ontology.kif 11821-11830	If a proposition the attribute service contract, then there exists a service such that the service is an instance of service and the service expresses the content of the proposition and an 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 1414-1422	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 ?ENTITY Promise)     (or         (property ?ENTITY Contract)         (property ?ENTITY NakedPromise)))	Mid-level-ontology.kif 11746-11750	If an entity the attribute promise, then the entity the attribute contract or the entity the attribute naked promise
(=>     (property ?Option ConventionalOption)     (exists (?Number)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 39))))	FinancialOntology.kif 2496-2502	If an agreement the attribute conventional option, then there exists a real number such that a time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 39
(=>     (property ?Option ConventionalOption)     (exists (?Number)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 9))))	FinancialOntology.kif 2480-2486	If an agreement the attribute conventional option, then there exists a real number such that a time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 9
(=>     (property ?Option Option)     (exists (?Type ?Date ?Stock ?Price)         (and             (or                 (equal ?Type CallOption)                 (equal ?Type PutOption))             (property ?Option ?Type)             (agreementExpirationDate ?Option ?Date)             (strikePrice ?Option ?Price)             (underlier ?Option ?Stock)             (measure ?Stock                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2462-2473	If an agreement the attribute option, then there exist an attribute, a time point,, , a financial instrument and a currency measure such that the attribute is equal to call option or the attribute is equal to put option and the agreement the attribute the attribute and the agreement has expiration the time point and the currency measure is a strike price of the agreement and the financial instrument is an underlier of the agreement and the measure of the financial instrument is 100 ShareUnit(s)
(=>     (property ?PROCESS ChemicalEquilibrium)     (exists (?RATIO)         (=>             (and                 (holdsDuring ?TIME                     (resource ?PROCESS ?RESOURCE))                 (holdsDuring ?TIME                     (result ?PROCESS ?RESULT)))             (equal ?RATIO                 (DivisionFn ?RESOURCE ?RESULT)))))	Mid-level-ontology.kif 17414-17421	If an entity the attribute chemical equilibrium, then there exists a quantity such that if another quantity is a resource for the entity holds during a time position and a third quantity is a result of the entity holds during the time position, then the quantity is equal to the other quantity and the third quantity
(=>     (property ?PROCESS ChemicalEquilibrium)     (instance ?PROCESS ChemicalProcess))	Mid-level-ontology.kif 17410-17412	If an entity the attribute chemical equilibrium, then the entity is an instance of chemical process
(=>     (property ?Program ReplicationsOnSameHostOK)     (property ?Program Restartable))	QoSontology.kif 1295-1297	If an entity the attribute replications on same host Ok, then the entity the attribute restartable
(=>     (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 11843-11852	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 the agreement is not equal to the other agreement

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners