(=>     (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 2544-2560	property Agreement and Option optionHolder Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval underlier Agreement and FinancialInstrument price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval holdsRight KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=>     (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 2608-2624	property Agreement and Option optionSeller Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval underlier Agreement and FinancialInstrument holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=>     (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 2562-2580	property Agreement and Option optionSeller Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval underlier Agreement and FinancialInstrument price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval holdsObligation KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and entity and CognitiveAgent
(=>     (and         (property ?Option StockOption)         (underlier ?Option ?Stock))     (property ?Stock CommonStock))	FinancialOntology.kif 2633-2637	property Agreement and StockOption underlier Agreement and FinancialInstrument property FinancialInstrument and CommonStock
(=>     (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 16063-16073	property Agent and Attribute instance Attribute and ContestAttribute Process instance Process and Contest agent Process and Agent patient Process and Agent subProcess Agent and 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 17279-17289	property Agent and Attribute instance Attribute and GameAttribute Process instance Process and Game agent Process and Agent patient Process and Agent subProcess Agent and 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 17295-17305	property Agent and Attribute instance Attribute and SportsAttribute Process instance Process and Game agent Process and Agent patient Process and Agent subProcess Agent and Process
(=>     (and         (successorAttribute ?ATTR1 ?ATTR2)         (holdsDuring ?TIME1             (property ?ENTITY ?ATTR2)))     (exists (?TIME2)         (and             (temporalPart ?TIME2                 (PastFn ?TIME1))             (holdsDuring ?TIME2                 (property ?ENTITY ?ATTR1)))))	Merge.kif 683-690	successorAttribute Attribute and Attribute holdsDuring TimePosition and property entity and Attribute TimePosition temporalPart TimePosition and PastFn TimePosition holdsDuring TimePosition and property entity and Attribute
(=>     (property ?AGREEMENT ActiveAgreement)     (instance ?AGREEMENT Agreement))	Mid-level-ontology.kif 11721-11723	property Entity and ActiveAgreement instance Entity and Agreement
(=>     (property ?AGREEMENT ActiveAgreement)     (modalAttribute         (exists (?PROC)             (realization ?PROC ?AGREEMENT)) Obligation))	Mid-level-ontology.kif 11725-11729	property Entity and ActiveAgreement modalAttribute entity realization entity and Entity and Obligation
(=>     (property ?AGREEMENT Contract)     (forall (?X)         (=>             (subProposition ?X ?AGREEMENT)             (modalAttribute ?X Legal))))	Mid-level-ontology.kif 11764-11769	property Proposition and Contract Formula subProposition Formula and Proposition modalAttribute Formula and Legal
(=>     (property ?C MarriageContract)     (exists (?P1 ?P2)         (and             (partyToAgreement ?C ?P1)             (partyToAgreement ?C ?P2)             (spouse ?P1 ?P2))))	Mid-level-ontology.kif 11792-11798	property CognitiveAgent and MarriageContract Human Human partyToAgreement CognitiveAgent and Human partyToAgreement CognitiveAgent and Human spouse Human and 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 11805-11814	property Proposition and PurchaseContract Process instance Process and Selling agent Process and ProcessELLER destination Process and Agreement realization Process and Proposition partyToAgreement Proposition and ProcessELLER partyToAgreement Proposition and Agreement
(=>     (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 11820-11829	property Proposition and ServiceContract ServiceProcess instance ServiceProcess and ServiceProcess realization ServiceProcess and Proposition serviceProvider ServiceProcess and Agreement serviceRecipient ServiceProcess and PropositionUST partyToAgreement Proposition and Agreement partyToAgreement Proposition and PropositionUST
(=>     (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	property CognitiveAgent and LoanCommitment Loan Agreement and Agreement instance Loan and Loan lender Loan and Agreement borrower Loan and Agreement partyToAgreement CognitiveAgent and Agreement partyToAgreement CognitiveAgent and Agreement
(=>     (property ?ENTITY Promise)     (or         (property ?ENTITY Contract)         (property ?ENTITY NakedPromise)))	Mid-level-ontology.kif 11745-11749	property Entity and Promise property Entity and Contract property Entity and NakedPromise
(=>     (property ?Option ConventionalOption)     (exists (?Number)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 39))))	FinancialOntology.kif 2495-2501	property Agreement and ConventionalOption RealNumber agreementPeriod Agreement and TimeInterval duration TimeInterval and MeasureFn RealNumber and MonthDuration lessThan RealNumber and 39
(=>     (property ?Option ConventionalOption)     (exists (?Number)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 9))))	FinancialOntology.kif 2479-2485	property Agreement and ConventionalOption RealNumber agreementPeriod Agreement and TimeInterval duration TimeInterval and MeasureFn RealNumber and MonthDuration lessThan RealNumber and 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 2461-2472	property Agreement and Option Attribute TimePoint, FinancialInstrument and CurrencyMeasure equal Attribute and CallOption equal Attribute and PutOption property Agreement and Attribute agreementExpirationDate Agreement and TimePoint strikePrice Agreement and CurrencyMeasure underlier Agreement and FinancialInstrument measure FinancialInstrument and MeasureFn 100 and ShareUnit
(=>     (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 17413-17420	property Entity and ChemicalEquilibrium Quantity holdsDuring TimePosition and resource Entity and Quantity holdsDuring TimePosition and result Entity and Quantity equal Quantity and DivisionFn Quantity and Quantity
(=>     (property ?PROCESS ChemicalEquilibrium)     (instance ?PROCESS ChemicalProcess))	Mid-level-ontology.kif 17409-17411	property Entity and ChemicalEquilibrium instance Entity and ChemicalProcess
(=>     (property ?Program ReplicationsOnSameHostOK)     (property ?Program Restartable))	QoSontology.kif 1295-1297	property Entity and ReplicationsOnSameHostOK property Entity and 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 11842-11851	property CognitiveAgent and Treaty Agreement Agreement partyToAgreement CognitiveAgent and Agreement partyToAgreement CognitiveAgent and Agreement instance Agreement and Nation instance Agreement and Nation equal Agreement and 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