| time |
| (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 |
| (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" |
| (<=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 | |
| (=> (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 | |
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (located ?EVENT ?PLACE)) (partlyLocatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 16217-16222 | |
| (=> (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 |
| (<=> (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 | |
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (result ?PROC ?OBJ) (forall (?TIME) (=> (before ?TIME (BeginFn (WhenFn ?PROC))) (not (time ?OBJ ?TIME))))) |
Merge.kif 6644-6650 | |
| Display limited to 25 items. Show next 25 |
|
|