consequent

(<=>     (instance ?ABS Abstract)     (not         (exists (?POINT)             (or                 (located ?ABS ?POINT)                 (time ?ABS ?POINT)))))	Merge.kif 1351-1357	A physical is an instance of abstract if and only if there doesn't exist an object so that physical is located at object or physical exists during object
(<=>     (instance ?PHYS Physical)     (exists (?LOC ?TIME)         (and             (located ?PHYS ?LOC)             (time ?PHYS ?TIME))))	Merge.kif 729-734	A physical is an instance of physical if and only if there exist an object and a time position so that physical is located at object and physical exists during time position
(<=>     (instance ?PROCESS Creation)     (exists (?PATIENT)         (and             (patient ?PROCESS ?PATIENT)             (time ?PATIENT                 (EndFn                     (WhenFn ?PROCESS)))             (not                 (time ?PATIENT                     (BeginFn                         (WhenFn ?PROCESS)))))))	Merge.kif 10203-10210	A process is an instance of creation if and only if there exists a physical so that physical is a patient of process and physical exists during the end of the time of existence of process and physical doesn't exist during the beginning of the time of existence of process
(<=>     (instance ?PROCESS Destruction)     (exists (?PATIENT)         (and             (patient ?PROCESS ?PATIENT)             (time ?PATIENT                 (BeginFn                     (WhenFn ?PROCESS)))             (not                 (time ?PATIENT                     (EndFn                         (WhenFn ?PROCESS)))))))	Merge.kif 9760-9767	A process is an instance of destruction if and only if there exists a physical so that physical is a patient of process and physical exists during the beginning of the time of existence of process and physical doesn't exist during the end of the time of existence of process
(<=>     (temporalPart ?POS         (WhenFn ?THING))     (time ?THING ?POS))	Merge.kif 6532-6534	A time position is a part of the time of existence of a physical if and only if physical exists during time position
(=>     (agreementAdoptionDate ?AGR ?DATE)     (exists (?PROCESS ?DAY)         (and             (instance ?PROCESS Committing)             (instance ?DAY ?DATE)             (patient ?PROCESS ?AGR)             (time ?PROCESS ?DAY))))	Government.kif 713-720	If a time position is an agreement adoption date of a proposition then there exist a process and time position so that process is an instance of committing and time position is an instance of a time position and proposition is a patient of process and process exists during time position
(=>     (and         (holdsDuring ?INTERVAL             (?REL ?INST1 ?INST2))         (instance ?INST1 Physical)         (instance ?INST2 Physical))     (and         (time ?INST1 ?INTERVAL)         (time ?INST2 ?INTERVAL)))	Merge.kif 6523-6530	If an entity a physical and physical holds during a time position and physical is an instance of physical and physical is an instance of physical then physical exists during time position and physical exists during time position
(=>     (and         (instance ?Check Check)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check))     (exists (?Depositing)         (and             (instance ?Depositing DepositingACheck)             (patient ?Depositing ?Check)             (time ?Depositing                 (ImmediatePastFn                     (WhenFn ?Processing))))))	FinancialOntology.kif 134-143	If an entity is an instance of check and a process is an instance of processingA check and entity is a patient of process then there exists process so that process is an instance of depositingA check and entity is a patient of process and process exists during immediately before the time of existence of process
(=>     (and         (instance ?Exercise ExerciseAnOption)         (patient ?Exercise ?Option)         (instance ?Option CallOption)         (time ?Exercise ?Time)         (underlier ?Option ?Stocks))     (exists (?Buy)         (and             (instance ?Buy Buying)             (patient ?Buy ?Stocks)             (time ?Buy ?Time)             (measure ?Stocks                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2575-2587	If a process is an instance of exercise an option and an option is a patient of process and option is an instance of call option and process exists during a time position and a financial instrument is an underlier of option then there exists process so that process is an instance of buying and financial instrument is a patient of process and process exists during time position and the measure of financial instrument is 100 ShareUnit(s)
(=>     (and         (instance ?Exercise ExerciseAnOption)         (patient ?Exercise ?Option)         (instance ?Option PutOption)         (time ?Exercise ?Time)         (underlier ?Option ?Stocks))     (exists (?Sell)         (and             (instance ?Sell Selling)             (patient ?Sell ?Stocks)             (time ?Sell ?Time)             (measure ?Stocks                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2589-2601	If a process is an instance of exercise an option and an option is a patient of process and option is an instance of put option and process exists during a time position and a financial instrument is an underlier of option then there exists process so that process is an instance of selling and financial instrument is a patient of process and process exists during time position and the measure of financial instrument is 100 ShareUnit(s)
(=>     (and         (instance ?IMPRISON Imprisoning)         (detainee ?IMPRISON ?AGENT)         (instance ?AGENT Human)         (time ?IMPRISON ?INTERVAL)         (instance ?INTERVAL TimeInterval))     (exists (?ARREST ?TIME)         (and             (instance ?TIME TimeInterval)             (time ?ARREST ?TIME)             (earlier ?TIME ?INTERVAL)             (instance ?ARREST PlacingUnderArrest)             (arrested ?ARREST ?AGENT))))	Mid-level-ontology.kif 16453-16466	If a confining is an instance of imprisoning and an animal is a detainee of confining and animal is an instance of human and confining exists during a time interval and time interval is an instance of time interval then there exist a placing under arrest and time interval so that time interval is an instance of time interval and placing under arrest exists during time interval and time interval happens earlier than time interval and placing under arrest is an instance of placing under arrest and animal is placed under arrest during placing under arrest
(=>     (and         (instance ?Loan CallableLoan)         (lender ?Loan ?Lender)         (borrower ?Loan ?Borrower)         (totalBalance ?Loan ?Amount)         (exists (?Call)             (and                 (instance ?Call Call)                 (agent ?Call ?Lender)                 (time ?Call ?Time)                 (patient ?Call ?Loan))))     (holdsObligation         (KappaFn ?Payment             (and                 (destination ?Payment ?Lender)                 (time ?Payment                     (ImmediateFutureFn                         (WhenFn ?Call)))                 (transactionAmount ?Payment ?Amount))) ?Borrower))	FinancialOntology.kif 1289-1305	If a loan is an instance of callable loan and lender loan and a cognitive agent and borrower loan and cognitive agent and a currency measure is a total balance of loan and there exists a process so that process is an instance of call and cognitive agent is an agent of process and process exists during a time position and loan is a patient of process then cognitive agent is obliged to perform tasks of type the class described by ?Payment
(=>     (and         (instance ?Option Option)         (optionHolder ?Option ?Agent)         (strikePrice ?Option ?Price)         (expirationDate ?Option ?ExpDate)         (price ?Stocks ?Price ?Time)         (instance ?Time TimeInterval)         (before             (EndFn ?Time)             (BeginFn ?ExpDate))         (underlier ?Option ?Stocks))     (holdsRight         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Stocks)                 (time ?Sell ?Time)                 (measure ?Stocks                     (MeasureFn 100 ShareUnit))                 (agent ?Sell ?Agent))) ?Agent))	FinancialOntology.kif 2505-2521	If an option is an instance of option and option holder option and a cognitive agent and a currency measure is a strike price of option and expiration date option and a day and a financial instrument price currency measure for an agent and agent is an instance of time interval and the end of agent happens before the beginning of day and financial instrument is an underlier of option then cognitive agent has the right to perform the class described by ?Sell
(=>     (and         (instance ?Option Option)         (optionHolder ?Option ?Agent)         (strikePrice ?Option ?Price)         (expirationDate ?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 2463-2479	If an option is an instance of option and option holder option and a cognitive agent and a currency measure is a strike price of option and expiration date option and a day and a financial instrument is an underlier of option and financial instrument price currency measure for an agent and agent is an instance of time interval and the end of agent happens before the beginning of day then cognitive agent has the right to perform the class described by ?Buy
(=>     (and         (instance ?Option Option)         (optionSeller ?Option ?Agent)         (strikePrice ?Option ?Price)         (expirationDate ?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 2523-2539	If an option is an instance of option and option seller option and a cognitive agent and a currency measure is a strike price of option and expiration date option and a day and a financial instrument price currency measure for an agent and agent is an instance of time interval and the end of agent happens before the beginning of day and financial instrument is an underlier of option then cognitive agent is obliged to perform tasks of type the class described by ?Buy
(=>     (and         (instance ?Option Option)         (optionSeller ?Option ?Seller)         (strikePrice ?Option ?Price)         (expirationDate ?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 2481-2497	If an option is an instance of option and option seller option and a cognitive agent and a currency measure is a strike price of option and expiration date option and a day and a financial instrument is an underlier of option and financial instrument price currency measure for an agent and agent is an instance of time interval and the end of agent happens before the beginning of day then cognitive agent is obliged to perform tasks of type the class described by ?Sell
(=>     (and         (instance ?PROC Process)         (subProcess ?SUBPROC ?PROC))     (exists (?TIME)         (time ?SUBPROC ?TIME)))	Merge.kif 8090-8095	If a process is an instance of process and process is a subprocess of process then there exists a time position so that process exists during time position
(=>     (and         (instance ?Refinancing Refinancing)         (time ?Refinancing ?Time)         (instance ?Loan Loan)         (securedBy ?Loan ?Collateral)         (borrower ?Loan ?Borrower)         (currentAccountBalance ?Loan ?Date ?Amount)         (patient ?Refinancing ?Loan))     (exists (?NewLoan ?Payment)         (and             (instance ?NewLoan Loan)             (borrower ?NewLoan ?Borrower)             (securedBy ?Loan ?Collateral)             (destination ?Payment                 (CurrencyFn ?Loan))             (time ?Payment ?Time)             (origin ?Payment                 (CurrencyFn ?NewLoan))             (transactionAmount ?Payment ?Amount))))	FinancialOntology.kif 1311-1328	If a process is an instance of refinancing and process exists during a time position and a loan is an instance of loan and a collateral is a secured by of loan and borrower loan and a cognitive agent and loan current account balance a day for a currency measure and loan is a patient of process then there exist loan and a financial transaction so that loan is an instance of loan and borrower loan and cognitive agent and collateral is a secured by of loan and financial transaction ends at the currency of loan and financial transaction exists during time position and financial transaction originates at the currency of loan and currency measure is a transaction amount of financial transaction
(=>     (and         (monitorComponentData ?Time1 ?ID ?Number)         (componentDataID ?Time2 ?Component ?Instance ?Unit ?ID))     (exists (?Event)         (and             (instance ?Event MeasuringPerformance)             (unitMeasuringPerformance ?Instance ?Unit)             (time ?Event ?Time1)             (performanceResult ?Event ?Instance ?Number))))	QoSontology.kif 850-859	If a time position monitor component data a symbolic string for a real number and time position component dataI d a computer component for computer component with an unit of measure and symbolic string then there exists a measuring performance so that measuring performance is an instance of measuring performance and unit of measure is an unit measuring performance of computer component and measuring performance exists during time position and measuring performance performance result computer component for real number
(=>     (and         (taxDeferredIncome ?Agent ?Income ?Activity)         (time ?Activity ?Time))     (not         (exists (?Tax)             (and                 (instance ?Tax Tax)                 (causes ?Activity ?Tax)                 (time ?Tax ?Time)))))	FinancialOntology.kif 3085-3094	If tax deferred income a human, a currency measure and an organizational process and organizational process exists during a time position then there doesn't exist a process so that process is an instance of tax and organizational process causes process and process exists during time position
(=>     (instance ?OBJ Object)     (exists (?TIME1 ?TIME2)         (and             (instance ?TIME1 TimePoint)             (instance ?TIME2 TimePoint)             (before ?TIME1 ?TIME2)             (forall (?TIME)                 (=>                     (and                         (beforeOrEqual ?TIME1 ?TIME)                         (beforeOrEqual ?TIME ?TIME2))                     (time ?OBJ ?TIME))))))	Merge.kif 6634-6646	If a physical is an instance of object then there exist a time point and time point so that time point is an instance of time point and time point is an instance of time point and time point happens before time point and for all a time point if time point happen%{s} before or at time point and time point happen%{s} before or at time point then physical exists during time point
(=>     (instance ?Spread SpreadOption)     (exists (?Option1 ?Option2 ?Buy ?Sell ?Time)         (and             (instance ?Option1 Option)             (instance ?Option2 Option)             (instance ?Buy Buying)             (instance ?Sell Selling)             (patient ?Buy ?Option1)             (patient ?Sell ?Option2)             (time ?Buy ?Time)             (time ?Sell ?Time))))	FinancialOntology.kif 2895-2906	If an entity is an instance of spread option then there exist entity a entity, a process, process and and a time position so that entity is an instance of option and entity is an instance of option and process is an instance of buying and process is an instance of selling and entity is a patient of process and entity is a patient of process and process exists during time position and process exists during time position
(=>     (monitorApplicationData ?Time ?Application)     (exists (?Process)         (and             (programRunning ?Process ?Application)             (time ?Process ?Time))))	QoSontology.kif 874-879	If a computer program is a monitor application data of a time position then there exists a computer process so that computer program is a program running of computer process and computer process exists during time position
(=>     (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE)     (exists (?EVENT)         (and             (instance ?EVENT ?TYPE)             (time ?EVENT ?TIME)             (located ?EVENT ?PLACE)             (playsRoleInEvent ?OBJ ?ROLE ?EVENT))))	Mid-level-ontology.kif 16215-16222	If an object plays role in event of type a case role for a process with a time position and object then there exists process so that process is an instance of a process and process exists during time position and process is located at object and object plays role in event case role for process
(=>     (result ?PROC ?OBJ)     (forall (?TIME)         (=>             (before ?TIME                 (BeginFn                     (WhenFn ?PROC)))             (not                 (time ?OBJ ?TIME)))))	Merge.kif 6648-6654	If a physical is a result of a process then for all a time point if time point happens before the beginning of the time of existence of process then physical doesn't exist during time point
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners