time - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__time__m,s__ChineseLanguage,'"这个关系用于一个 Physical 实例和一个 TimePosition 实例之间，以防前者所存在的的时间包含了后者的。换句话说，(time ?THING ?TIME) 的意思是 ?THING 在 ?TIME 出现或发生。注： time 在于 Physical 实例，就相等于 holdsDuring 用在 Formula 的实例上，常数 located 和 time 分别是是基本的空间和时间谓词。"')	chinese_format.kif 2079-2082
s__documentation(s__time__m,s__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 time what holdsDuring does for instances of Formula. The constants located and time are the basic spatial and temporal predicates, respectively."')	Merge.kif 3743-3749
s__domain(s__time__m,n__1,s__Physical)	Merge.kif 3738-3738	The number 1 argument of time is an instance of physical
s__domain(s__time__m,n__2,s__TimePosition)	Merge.kif 3739-3739	The number 2 argument of time is an instance of time position
s__instance(s__time__m,s__AsymmetricRelation) s__instance(s__AsymmetricRelation,s__SetOrClass)	Merge.kif 3736-3736	time is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__time__m,s__BinaryPredicate)	Merge.kif 3734-3734	time is an instance of binary predicate
s__instance(s__time__m,s__TemporalRelation) s__instance(s__TemporalRelation,s__SetOrClass)	Merge.kif 3735-3735	time is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__SetOrClass) s__instance(s__time__m,s__TotalValuedRelation)	Merge.kif 3737-3737	time is an instance of total valued relation
s__relatedInternalConcept(s__time__m,s__holdsDuring__m)	Merge.kif 3741-3741	time is internally related to holds during
s__relatedInternalConcept(s__time__m,s__located__m)	Merge.kif 3740-3740	time is internally related to located

appearance as argument number 2

s__format(s__ChineseLanguage,s__time__m,'"%1 在 %2 是 %n{doesnt} 存在"')	chinese_format.kif 191-191
s__format(s__EnglishLanguage,s__time__m,'"%1 %n{doesnt} exist%p{s} during %2"')	english_format.kif 195-195
s__subrelation(s__date__m,s__time__m)	Merge.kif 8156-8156	date is a subrelation of time
s__termFormat(s__ChineseLanguage,s__time__m,'"时间"')	chinese_format.kif 192-192
s__termFormat(s__ChineseTraditionalLanguage,s__time__m,'"時間"')	domainEnglishFormat.kif 58084-58084
s__termFormat(s__EnglishLanguage,s__time__m,'"time"')	domainEnglishFormat.kif 58083-58083

antecedent

( ! [V__TIME,V__PHYS] : ((s__instance(V__PHYS,s__Physical) => ((((s__time(V__PHYS,V__TIME) & s__instance(V__TIME,s__TimePoint)) => s__temporallyBetweenOrEqual(s__BeginFn(s__WhenFn(V__PHYS)) ,V__TIME,s__EndFn(s__WhenFn(V__PHYS)))) & (s__temporallyBetweenOrEqual(s__BeginFn(s__WhenFn(V__PHYS)) ,V__TIME,s__EndFn(s__WhenFn(V__PHYS))) => (s__time(V__PHYS,V__TIME) & s__instance(V__TIME,s__TimePoint)))))) ) )	Merge.kif 7901-7905	A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
( ! [V__Time,V__Exercise,V__Option,V__Stocks] : (((s__instance(V__Time,s__TimePosition) & s__instance(V__Option,s__Agreement) & s__instance(V__Stocks,s__FinancialInstrument)) => (((s__instance(V__Exercise,s__ExerciseAnOption) & s__patient(V__Exercise,V__Option) & s__property(V__Option,s__CallOption) & s__time(V__Exercise,V__Time) & s__underlier(V__Option,V__Stocks)) => (( ? [V__Buy] : ((s__instance(V__Buy,s__Buying) & s__patient(V__Buy,V__Stocks) & s__time(V__Buy,V__Time) & s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit))))))))) ) )	FinancialOntology.kif 2694-2706	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 ShareUnit(s)
( ! [V__Time,V__Exercise,V__Option,V__Stocks] : (((s__instance(V__Time,s__TimePosition) & s__instance(V__Option,s__Agreement) & s__instance(V__Stocks,s__FinancialInstrument)) => (((s__instance(V__Exercise,s__ExerciseAnOption) & s__patient(V__Exercise,V__Option) & s__property(V__Option,s__PutOption) & s__time(V__Exercise,V__Time) & s__underlier(V__Option,V__Stocks)) => (( ? [V__Sell] : ((s__instance(V__Sell,s__Selling) & s__patient(V__Sell,V__Stocks) & s__time(V__Sell,V__Time) & s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit))))))))) ) )	FinancialOntology.kif 2708-2720	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute put option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of selling and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 ShareUnit(s)
( ! [V__AGENT,V__IMPRISON,V__INTERVAL] : (((s__instance(V__IMPRISON,s__Imprisoning) & s__detainee(V__IMPRISON,V__AGENT) & s__instance(V__AGENT,s__Human) & s__time(V__IMPRISON,V__INTERVAL) & s__instance(V__INTERVAL,s__TimeInterval)) => (( ? [V__ARREST, V__TIME] : ((s__instance(V__TIME,s__TimeInterval) & s__time(V__ARREST,V__TIME) & s__earlier(V__TIME,V__INTERVAL) & s__instance(V__ARREST,s__PlacingUnderArrest) & s__arrested(V__ARREST,V__AGENT)))))) ) )	Mid-level-ontology.kif 21985-21998	If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval, then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Time,s__Day) & s__instance(V__Collateral,s__Collateral) & s__instance(V__Borrower,s__CognitiveAgent)) => (((s__instance(V__Refinancing,s__Refinancing) & s__time(V__Refinancing,V__Time) & s__instance(V__Loan,s__Loan) & s__securedBy(V__Loan,V__Collateral) & s__borrower(V__Loan,V__Borrower) & s__currentAccountBalance(V__Loan,V__Time,V__Amount) & s__patient(V__Refinancing,V__Loan)) => (( ? [V__NewLoan, V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__instance(V__NewLoan,s__Loan) & s__borrower(V__NewLoan,V__Borrower) & s__securedBy(V__Loan,V__Collateral) & s__destination(V__Payment,s__CurrencyFn(V__Loan)) & s__time(V__Payment,V__Time) & s__origin(V__Payment,s__CurrencyFn(V__NewLoan)) & s__transactionAmount(V__Payment,V__Amount))))))))) ) )	FinancialOntology.kif 1403-1420	If a process is an instance of refinancing and the process exists during a day and a loan is an instance of loan and a collateral is a secured by of the loan and the loan is the borrower of a cognitive agent and the loan current account balance the day for a currency measure and the loan is a patient of the process, then there exist another loan and a financial transaction such that the other loan is an instance of loan and the other loan is the borrower of the cognitive agent and the collateral is a secured by of the loan and the financial transaction ends up at the currency of the loan and the financial transaction exists during the day and the financial transaction originates at the currency of the other loan and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Justice.kif 61-69	If a process is an instance of seeing and an object is a patient of the process and an agent is an agent of the process and the object is an instance of object and the process exists during a time position and the object is located at another object holds during the time position, then the object is observed at time in place the agent for the time position with the other object
( ! [V__TIME,V__PLACE,V__OBJ,V__ROLE,V__CLASS,V__EVENT] : (((s__instance(V__TIME,s__TimePosition) & s__instance(V__PLACE,s__Object) & s__instance(V__OBJ,s__Object) & s__instance(V__ROLE,s__CaseRole) & s__instance(V__CLASS,s__Class) & s__subclass(V__CLASS,s__Process) & s__instance(V__EVENT,s__Process)) => (((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT) & s__instance(V__EVENT,V__CLASS) & s__subclass(V__CLASS,s__Process) & s__time(V__EVENT,V__TIME) & s__eventLocated(V__EVENT,V__PLACE)) => (s__playsRoleInEventOfType(V__OBJ,V__ROLE,V__CLASS,V__TIME,V__PLACE))))) ) )	Mid-level-ontology.kif 21732-21739	If an object plays role in event a case role for a process and the process is an instance of another kind of process and another kind of process is a subclass of process and the process exists during a time position and the process is located at 2, then the object plays role in event of type the case role for the other kind of process with the time position and another object
( ! [V__TIME,V__PLACE,V__OBJ,V__TYPE,V__ROLE,V__EVENT] : (((s__instance(V__TIME,s__TimePosition) & s__instance(V__PLACE,s__Object) & s__instance(V__OBJ,s__Object) & s__instance(V__TYPE,s__Class) & s__subclass(V__TYPE,s__Process) & s__instance(V__ROLE,s__CaseRole) & s__instance(V__EVENT,s__Process)) => (((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT) & s__instance(V__EVENT,V__TYPE) & s__subclass(V__TYPE,s__Process) & s__time(V__EVENT,V__TIME) & s__eventLocated(V__EVENT,V__PLACE)) => (s__playsRoleInEventOfType(V__OBJ,V__ROLE,V__TYPE,V__TIME,V__PLACE))))) ) )	Mid-level-ontology.kif 21761-21768	If an object plays role in event a case role for a process and the process is an instance of another kind of process and another kind of process is a subclass of process and the process exists during a time position and the process is located at 2, then the object plays role in event of type the case role for the other kind of process with the time position and another object
( ! [V__TIME,V__PLACE,V__OBJ,V__ROLE,V__EVENT] : (((s__instance(V__TIME,s__TimePosition) & s__instance(V__PLACE,s__Object) & s__instance(V__OBJ,s__Object) & s__instance(V__ROLE,s__CaseRole) & s__instance(V__EVENT,s__Process)) => (((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT) & s__time(V__EVENT,V__TIME) & s__eventLocated(V__EVENT,V__PLACE)) => (s__locatedAtTime(V__OBJ,V__TIME,V__PLACE))))) ) )	Mid-level-ontology.kif 21784-21789	If an object plays role in event a case role for a process and the process exists during a time position and the process is located at 2, then the object located at time the time position for another object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 458-483	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a quantity is an unit of measure and the unit of measure is an instance of UnitOfDuration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and the kind of physical possesses the cognitive agent and an agent is an agent of the process and the process exists during the quantityINT, then for all another time interval if the quantityINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is a real number the unit of measure(s) and the real number is less than or equal to the quantity, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
( ! [V__Agent,V__Activity,V__Time,V__Income] : (((s__instance(V__Agent,s__Human) & s__instance(V__Activity,s__OrganizationalProcess) & s__instance(V__Time,s__TimePosition) & s__instance(V__Income,s__CurrencyMeasure)) => (((s__taxDeferredIncome(V__Agent,V__Income,V__Activity) & s__time(V__Activity,V__Time)) => (~(( ? [V__Tax] : ((s__instance(V__Tax,s__Tax) & s__causes(V__Activity,V__Tax) & s__time(V__Tax,V__Time))))))))) ) )	FinancialOntology.kif 3252-3261	If tax deferred income for a human resulting from an organizational process is a currency measure and the organizational process exists during a time position, then there doesn't exist a process such that the process is an instance of tax and the organizational process causes the process and the process exists during the time position

consequent

( ! [V__PROCESS] : (((s__instance(V__PROCESS,s__Creation) => ( ? [V__PATIENT] : ((s__instance(V__PATIENT,s__Physical) & (s__patient(V__PROCESS,V__PATIENT) & s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))) & ~(s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))))))))) & (( ? [V__PATIENT] : ((s__instance(V__PATIENT,s__Physical) & (s__patient(V__PROCESS,V__PATIENT) & s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))) & ~(s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))))))) => s__instance(V__PROCESS,s__Creation))) ) )	Merge.kif 12161-12168	A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
( ! [V__PROCESS] : (((s__instance(V__PROCESS,s__Destruction) => ( ? [V__PATIENT] : ((s__instance(V__PATIENT,s__Physical) & (s__patient(V__PROCESS,V__PATIENT) & s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))) & ~(s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))))))))) & (( ? [V__PATIENT] : ((s__instance(V__PATIENT,s__Physical) & (s__patient(V__PROCESS,V__PATIENT) & s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))) & ~(s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))))))) => s__instance(V__PROCESS,s__Destruction))) ) )	Merge.kif 11668-11675	A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
( ! [V__POS,V__THING] : (((s__instance(V__POS,s__TimePosition) & s__instance(V__THING,s__Physical)) => (((s__temporalPart(V__POS,s__WhenFn(V__THING)) => s__time(V__THING,V__POS)) & (s__time(V__THING,V__POS) => s__temporalPart(V__POS,s__WhenFn(V__THING)))))) ) )	Merge.kif 7708-7710	A time position is a part of the time of existence of a physical if and only if the physical exists during the time position
( ! [V__AGR,V__DATE] : (((s__instance(V__AGR,s__Proposition) & s__subclass(V__DATE,s__TimePosition) & s__instance(V__DATE,s__Class)) => ((s__agreementAdoptionDate(V__AGR,V__DATE) => (( ? [V__PROCESS, V__DAY] : ((s__instance(V__DAY,s__TimePosition) & (s__instance(V__PROCESS,s__Committing) & s__instance(V__DAY,V__DATE) & s__patient(V__PROCESS,V__AGR) & s__time(V__PROCESS,V__DAY))))))))) ) )	Government.kif 693-700	If a kind of time position is an agreement adoption date of a proposition, then there exist a process and another time position such that the process is an instance of committing and the other time position is an instance of a kind of time position and the proposition is a patient of the process and the process exists during the other time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7699-7706	If an entity a physical and another physical holds during a time position and the physical is an instance of physical and the other physical is an instance of physical, then the physical exists during the time position and the other physical exists during the time position
( ! [V__OPEN,V__WINDOW,V__CLOSE] : (((s__instance(V__OPEN,s__Physical) & s__instance(V__WINDOW,s__Physical)) => (((s__instance(V__CLOSE,s__ClosingGraphicalWindow) & s__patient(V__CLOSE,V__WINDOW)) => ((s__instance(V__WINDOW,s__InterfaceWindow) & s__time(V__WINDOW,s__BeginFn(s__WhenFn(V__OPEN))) & ~(s__time(V__WINDOW,s__EndFn(s__WhenFn(V__OPEN))))))))) ) )	ComputerInput.kif 2453-2460	If a process is an instance of ClosingGraphicalWindow and a physical is a patient of the process, then the physical is an instance of InterfaceWindow and the physical exists during the beginning of the time of existence of another physical and the physical doesn't exist during the end of the time of existence of the other physical
( ! [V__Processing,V__Check] : (((s__instance(V__Check,s__Check) & s__instance(V__Processing,s__ProcessingACheck) & s__patient(V__Processing,V__Check)) => (( ? [V__Depositing] : ((s__instance(V__Depositing,s__DepositingACheck) & s__patient(V__Depositing,V__Check) & s__time(V__Depositing,s__ImmediatePastFn(s__WhenFn(V__Processing)))))))) ) )	FinancialOntology.kif 137-146	If an entity is an instance of check and a process is an instance of processingA check and the entity is a patient of the process, then there exists another process such that the other process is an instance of depositingA check and the entity is a patient of the other process and the other process exists during immediately before the time of existence of the process
( ! [V__Time,V__Exercise,V__Option,V__Stocks] : (((s__instance(V__Time,s__TimePosition) & s__instance(V__Option,s__Agreement) & s__instance(V__Stocks,s__FinancialInstrument)) => (((s__instance(V__Exercise,s__ExerciseAnOption) & s__patient(V__Exercise,V__Option) & s__property(V__Option,s__CallOption) & s__time(V__Exercise,V__Time) & s__underlier(V__Option,V__Stocks)) => (( ? [V__Buy] : ((s__instance(V__Buy,s__Buying) & s__patient(V__Buy,V__Stocks) & s__time(V__Buy,V__Time) & s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit))))))))) ) )	FinancialOntology.kif 2694-2706	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 ShareUnit(s)
( ! [V__Time,V__Exercise,V__Option,V__Stocks] : (((s__instance(V__Time,s__TimePosition) & s__instance(V__Option,s__Agreement) & s__instance(V__Stocks,s__FinancialInstrument)) => (((s__instance(V__Exercise,s__ExerciseAnOption) & s__patient(V__Exercise,V__Option) & s__property(V__Option,s__PutOption) & s__time(V__Exercise,V__Time) & s__underlier(V__Option,V__Stocks)) => (( ? [V__Sell] : ((s__instance(V__Sell,s__Selling) & s__patient(V__Sell,V__Stocks) & s__time(V__Sell,V__Time) & s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit))))))))) ) )	FinancialOntology.kif 2708-2720	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute put option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of selling and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 ShareUnit(s)
( ! [V__AGENT,V__IMPRISON,V__INTERVAL] : (((s__instance(V__IMPRISON,s__Imprisoning) & s__detainee(V__IMPRISON,V__AGENT) & s__instance(V__AGENT,s__Human) & s__time(V__IMPRISON,V__INTERVAL) & s__instance(V__INTERVAL,s__TimeInterval)) => (( ? [V__ARREST, V__TIME] : ((s__instance(V__TIME,s__TimeInterval) & s__time(V__ARREST,V__TIME) & s__earlier(V__TIME,V__INTERVAL) & s__instance(V__ARREST,s__PlacingUnderArrest) & s__arrested(V__ARREST,V__AGENT)))))) ) )	Mid-level-ontology.kif 21985-21998	If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval, then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1382-1397	If a loan is an instance of callable loan and a cognitive agent lends the loan and the loan is the borrower of another cognitive agent and a currency measure is a total balance of the loan and a process is an instance of call and the cognitive agent is an agent of the process and the loan is a patient of the process, then the other cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20765-20778	If an attribute is an instance of occupational role and a kind of process is a typical action of a the attr of cognitive agent and the attribute, then there exist another process, a time position,, , an agent and the agentT such that the other process is an instance of cognitive agent and the attribute is an attribute of the other process holds during the time position and the agent is an instance of a kind of process and the agent is an agent of the other process and the agent exists during the agentT and the agentT is a part of the time position
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Time,s__Day) & s__instance(V__Collateral,s__Collateral) & s__instance(V__Borrower,s__CognitiveAgent)) => (((s__instance(V__Refinancing,s__Refinancing) & s__time(V__Refinancing,V__Time) & s__instance(V__Loan,s__Loan) & s__securedBy(V__Loan,V__Collateral) & s__borrower(V__Loan,V__Borrower) & s__currentAccountBalance(V__Loan,V__Time,V__Amount) & s__patient(V__Refinancing,V__Loan)) => (( ? [V__NewLoan, V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__instance(V__NewLoan,s__Loan) & s__borrower(V__NewLoan,V__Borrower) & s__securedBy(V__Loan,V__Collateral) & s__destination(V__Payment,s__CurrencyFn(V__Loan)) & s__time(V__Payment,V__Time) & s__origin(V__Payment,s__CurrencyFn(V__NewLoan)) & s__transactionAmount(V__Payment,V__Amount))))))))) ) )	FinancialOntology.kif 1403-1420	If a process is an instance of refinancing and the process exists during a day and a loan is an instance of loan and a collateral is a secured by of the loan and the loan is the borrower of a cognitive agent and the loan current account balance the day for a currency measure and the loan is a patient of the process, then there exist another loan and a financial transaction such that the other loan is an instance of loan and the other loan is the borrower of the cognitive agent and the collateral is a secured by of the loan and the financial transaction ends up at the currency of the loan and the financial transaction exists during the day and the financial transaction originates at the currency of the other loan and the currency measure is a transaction amount of the financial transaction
( ! [V__Unit,V__Time2,V__Time1,V__ID,V__Component,V__Instance,V__Number] : (((s__instance(V__Unit,s__UnitOfMeasure) & s__instance(V__Time2,s__TimePosition) & s__instance(V__Time1,s__TimePosition) & s__instance(V__ID,s__SymbolicString) & s__subclass(V__Component,s__ComputerComponent) & s__instance(V__Instance,s__ComputerComponent) & s__instance(V__Number,s__RealNumber)) => (((s__monitorComponentData(V__Time1,V__ID,V__Number) & s__componentDataID(V__Time2,V__Component,V__Instance,V__Unit,V__ID)) => (( ? [V__Event] : ((s__instance(V__Event,s__MeasuringPerformance) & s__unitMeasuringPerformance(V__Instance,V__Unit) & s__time(V__Event,V__Time1) & s__performanceResult(V__Event,V__Instance,V__Number)))))))) ) )	QoSontology.kif 953-962	If a time position is monitor component data a symbolic string for a real number and another time position component dataID a kind of computer component for another computer component with an unit of measure and the symbolic string, then there exists a measuring performance such that the measuring performance is an instance of measuring performance and the unit of measure is an unit measuring performance of the other computer component and the measuring performance exists during the time position and the measuring performance is performance result the other computer component for the real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2610-2626	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent has the right to perform the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2564-2580	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent has the right to perform the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2628-2644	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2582-2600	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
( ! [V__Agent,V__Activity,V__Time,V__Income] : (((s__instance(V__Agent,s__Human) & s__instance(V__Activity,s__OrganizationalProcess) & s__instance(V__Time,s__TimePosition) & s__instance(V__Income,s__CurrencyMeasure)) => (((s__taxDeferredIncome(V__Agent,V__Income,V__Activity) & s__time(V__Activity,V__Time)) => (~(( ? [V__Tax] : ((s__instance(V__Tax,s__Tax) & s__causes(V__Activity,V__Tax) & s__time(V__Tax,V__Time))))))))) ) )	FinancialOntology.kif 3252-3261	If tax deferred income for a human resulting from an organizational process is a currency measure and the organizational process exists during a time position, then there doesn't exist a process such that the process is an instance of tax and the organizational process causes the process and the process exists during the time position
( ! [V__DAY,V__PERSON] : (((s__instance(V__DAY,s__Day) & s__instance(V__PERSON,s__Human)) => ((s__baptismdate(V__PERSON,V__DAY) => (( ? [V__BAPTISM] : ((s__instance(V__BAPTISM,s__Baptizing) & s__experiencer(V__BAPTISM,V__PERSON) & s__time(V__BAPTISM,V__DAY)))))))) ) )	Biography.kif 68-74	If a human was baptised on a day, then there exists a process such that the process is an instance of baptizing and the human experiences the process and the process exists during the day
( ! [V__OBJ] : ((s__instance(V__OBJ,s__Object) => (( ? [V__TIME1, V__TIME2] : ((s__instance(V__TIME1,s__TimePoint) & s__instance(V__TIME2,s__TimePoint) & s__before(V__TIME1,V__TIME2) & ( ! [V__TIME] : ((s__instance(V__TIME,s__TimePoint) => (((s__beforeOrEqual(V__TIME1,V__TIME) & s__beforeOrEqual(V__TIME,V__TIME2)) => (s__time(V__OBJ,V__TIME)))))))))))) ) )	Merge.kif 7823-7835	If a physical is an instance of object, then there exist a time point and another time point such that the time point is an instance of time point and the other time point is an instance of time point and the time point happens before the other time point and for all a third time point if the time point happen%{s} before or at the third time point and the third time point happen%{s} before or at the other time point, then the physical exists during the third time point
( ! [V__OPEN] : ((s__instance(V__OPEN,s__OpeningNewGraphicalWindow) => (( ? [V__WINDOW] : ((s__patient(V__OPEN,V__WINDOW) & s__instance(V__WINDOW,s__InterfaceWindow) & s__time(V__WINDOW,s__EndFn(s__WhenFn(V__OPEN))) & ~(s__time(V__WINDOW,s__BeginFn(s__WhenFn(V__OPEN))))))))) ) )	ComputerInput.kif 2388-2395	If a process is an instance of OpeningNewGraphicalWindow, then there exists a physical such that the physical is a patient of the process and the physical is an instance of InterfaceWindow and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
( ! [V__PHYS] : ((s__instance(V__PHYS,s__Physical) => (( ? [V__LOC, V__TIME] : ((s__instance(V__LOC,s__Object) & s__instance(V__TIME,s__TimePosition) & (s__located(V__PHYS,V__LOC) & s__time(V__PHYS,V__TIME))))))) ) )	Merge.kif 805-810	If a physical is an instance of physical, then there exist an object and a time position such that the physical is located at the object and the physical exists during the time position
( ! [V__Spread] : ((s__instance(V__Spread,s__SpreadOption) => (( ? [V__Option1, V__Option2, V__Buy, V__Sell, V__Time] : ((s__instance(V__Time,s__TimePosition) & (s__instance(V__Option1,s__Option) & s__instance(V__Option2,s__Option) & s__instance(V__Buy,s__Buying) & s__instance(V__Sell,s__Selling) & s__subProcess(V__Buy,V__Spread) & s__subProcess(V__Sell,V__Spread) & s__patient(V__Buy,V__Option1) & s__patient(V__Sell,V__Option2) & s__time(V__Buy,V__Time) & s__time(V__Sell,V__Time))))))) ) )	FinancialOntology.kif 3037-3050	If a process is an instance of spread option, then there exist an entity, another entity,, , another process,, , a third process and a time position such that the entity is an instance of option and the other entity is an instance of option and the other process is an instance of buying and the third process is an instance of selling and the other process is a subprocess of the process and the third process is a subprocess of the process and the entity is a patient of the other process and the other entity is a patient of the third process and the other process exists during the time position and the third process exists during the time position
( ! [V__Time,V__Application] : (((s__instance(V__Time,s__TimePosition) & s__instance(V__Application,s__ComputerProgram)) => ((s__monitorApplicationData(V__Time,V__Application) => (( ? [V__Process] : ((s__instance(V__Process,s__ComputerProcess) & (s__programRunning(V__Process,V__Application) & s__time(V__Process,V__Time))))))))) ) )	QoSontology.kif 977-982	If a computer program is a monitor application data of a time position, then there exists a computer process such that the computer program is a program running of the computer process and the computer process exists during the time position

Display limited to 25 items. Show next 25

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 Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: