Browsing Interface		 [ Home |  Graph |  ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - time
time

 
 appearance as argument number 1


(documentation time EnglishLanguage "This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. In other words, (time ?THING ?TIME) means that ?THING existed or occurred at ?TIME. Note that time does for instances of Physical what holdsDuring does for instances of Formula. The constants located and time are the basic spatial and temporal predicates, respectively.") Merge.kif 3072-3078 %3
(domain time 1 Physical) Merge.kif 3068-3068 the number 1 argument of time is an instance of physical
(domain time 2 TimePosition) Merge.kif 3069-3069 the number 2 argument of time is an instance of time position
(externalImage time "http://www.adampease.org/Articulate/SUMOpictures/pictures/ time/ chronometer_watch.png") pictureList.kif 2403-2403 externalImage time "http://www.adampease.org/Articulate/SUMOpictures/pictures/ time/ chronometer_watch.png"
(externalImage time "http://www.adampease.org/Articulate/SUMOpictures/pictures/ time/ wall_clock_tan.png") pictureList.kif 2031-2031 externalImage time "http://www.adampease.org/Articulate/SUMOpictures/pictures/ time/ wall_clock_tan.png"
(instance time AsymmetricRelation) Merge.kif 3067-3067 time is an instance of asymmetric relation
(instance time BinaryPredicate) Merge.kif 3065-3065 time is an instance of binary predicate
(instance time TemporalRelation) Merge.kif 3066-3066 time is an instance of temporal relation
(relatedInternalConcept time holdsDuring) Merge.kif 3071-3071 time is internally related to holds during
(relatedInternalConcept time located) Merge.kif 3070-3070 time is internally related to located

 
 appearance as argument number 2


(format EnglishLanguage time "%1 %n{doesn't} exist%p{s} &%during %2") english_format.kif 113-113 format english language time "%1 %n{doesn't} exist%p{s} %during %2"
(subrelation date time) Merge.kif 6936-6936 date is a subrelation of time
(termFormat EnglishLanguage time "time") domainEnglishFormat.kif 9561-9561 term format english language time "time"

 antecedent


(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))		 Merge.kif 6703-6707 a physical exists during a time point and time point is an instance of time point if and only if time point is between or at the beginning of the time of existence of physical and the end of the time of existence of physical
(=>
    (and
        (instance ?Deposit Deposit)
        (time ?Deposit ?TimeOfDeposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit)) ?Balance1)
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit)) ?Balance2))		 FinancialOntology.kif 411-420
  • if a financial transaction is an instance of deposit and financial transaction exists during a time position and a financial account is an instance of financial account and financial transaction ends at the currency of financial account and a currency measure is a transaction amount of financial transaction and financial account current account balance immediately before the time of existence of financial transaction for currency measure and a currency measure is equal to ( currency measure and currency measure)
  • then financial account current account balance immediately after after financial transaction for currency measure
(=>
    (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 Share)))))		 FinancialOntology.kif 2577-2589
(=>
    (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 Share)))))		 FinancialOntology.kif 2591-2603
(=>
    (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 16424-16437
  • 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 1288-1304
  • if a loan is an instance of callable loan and lender loan a cognitive agent and borrower loan 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 ?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 1310-1327
  • 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 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 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
        (instance ?SEEING Seeing)
        (patient ?SEEING ?OBJ)
        (agent ?SEEING ?AGENT)
        (instance ?OBJ Object)
        (time ?SEEING ?TIME)
        (holdsDuring ?TIME
            (located ?OBJ ?PLACE)))
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE))		 Justice.kif 60-68
(=>
    (and
        (instance ?Withdrawal Withdrawal)
        (time ?Withdrawal ?TimeOfWithdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Withdrawal)) ?Balance1)
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Withdrawal)) ?Balance2))		 FinancialOntology.kif 433-442
  • if a financial transaction is an instance of withdrawal and financial transaction exists during a time position and an object is an instance of financial account and financial transaction originates at object and a currency measure is a transaction amount of financial transaction and object current account balance immediately before the time of existence of financial transaction for currency measure and a currency measure is equal to ( currency measure and currency measure)
  • then object current account balance immediately after after financial transaction for currency measure
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (instance ?EVENT ?CLASS)
        (subclass ?CLASS Process)
        (time ?EVENT ?TIME)
        (located ?EVENT ?PLACE))
    (playsRoleInEventOfType ?OBJ ?ROLE ?CLASS ?TIME ?PLACE))		 Mid-level-ontology.kif 16166-16173
  • if an object plays role in event a case role for a process and process is an instance of process and process is a subclass of process and process exists during a time position and process is located at object
  • then object plays role in event of type case role for process with time position and object
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (instance ?EVENT ?TYPE)
        (subclass ?TYPE Process)
        (time ?EVENT ?TIME)
        (located ?EVENT ?PLACE))
    (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE))		 Mid-level-ontology.kif 16195-16202
  • if an object plays role in event a case role for a process and process is an instance of process and process is a subclass of process and process exists during a time position and process is located at object
  • then object plays role in event of type case role for process with time position and object
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (time ?EVENT ?TIME)
        (located ?EVENT ?PLACE))
    (partlyLocatedAtTime ?OBJ ?TIME ?PLACE))		 Mid-level-ontology.kif 16217-16222
  • if an object plays role in event a case role for a process and process exists during a time position and process is located at object
  • then partly located at time object time position object
(=>
    (and
        (taxDeferredIncome ?Agent ?Income ?Activity)
        (time ?Activity ?Time))
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (causes ?Activity ?Tax)
                (time ?Tax ?Time)))))		 FinancialOntology.kif 3087-3096
  • if tax deferred income a human a currency measure 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

 consequent


(<=>
    (instance ?ABS Abstract)
    (not
        (exists (?POINT)
            (or
                (located ?ABS ?POINT)
                (time ?ABS ?POINT)))))		 Merge.kif 1340-1346 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 725-730 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 10193-10200 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 9750-9757 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 6528-6530 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 6519-6526
(=>
    (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
(=>
    (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 Share)))))		 FinancialOntology.kif 2577-2589
(=>
    (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 Share)))))		 FinancialOntology.kif 2591-2603
(=>
    (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 16424-16437
  • 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 1288-1304
  • if a loan is an instance of callable loan and lender loan a cognitive agent and borrower loan 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 Share))
                (agent ?Sell ?Agent))) ?Agent))		 FinancialOntology.kif 2507-2523
  • if an option is an instance of option and option holder option a cognitive agent and a currency measure is a strike price of option and expiration date option 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 Share))
                (agent ?Buy ?Agent))) ?Agent))		 FinancialOntology.kif 2465-2481
  • if an option is an instance of option and option holder option a cognitive agent and a currency measure is a strike price of option and expiration date option 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 Share))
                (agent ?Buy ?Agent))) ?Agent))		 FinancialOntology.kif 2525-2541
  • if an option is an instance of option and option seller option a cognitive agent and a currency measure is a strike price of option and expiration date option 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 Share))
                (agent ?Sell ?Agent))) ?Seller))		 FinancialOntology.kif 2483-2499
  • if an option is an instance of option and option seller option a cognitive agent and a currency measure is a strike price of option and expiration date option 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 8086-8091
(=>
    (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 1310-1327
  • 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 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 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 3087-3096
  • if tax deferred income a human a currency measure 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 6630-6642
  • 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 2897-2908
(=>
    (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 16186-16193
  • 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 6644-6650
  • if a physical is a result of a process
  • then for all a 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.1b (2007/11/20) is open source software produced by Articulate Software and its partners