(=>     (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	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 2609-2625	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 2563-2581	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 2634-2638	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 16183-16193	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 17305-17315	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 17321-17331	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 682-689	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 11747-11749	property Entity and ActiveAgreement instance Entity and Agreement
(=>     (property ?AGREEMENT ActiveAgreement)     (modalAttribute         (exists (?PROC)             (realization ?PROC ?AGREEMENT)) Obligation))	Mid-level-ontology.kif 11751-11755	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 11790-11795	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 11818-11824	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 11831-11840	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 11846-11855	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 11771-11775	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 2496-2502	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 2480-2486	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 2462-2473	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 17439-17446	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 17435-17437	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 11868-11877	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 3.0 is open source software produced by Articulate Software and its partners