time - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2079-2082
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3796-3802
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3791-3791	The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3792-3792	The number 2 argument of time is an instance of time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3789-3789	time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3787-3787	time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3788-3788	time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3790-3790	time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3794-3794	time is internally related to holds during
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3793-3793	time is internally related to located

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 191-191
No TPTP formula. May not be expressible in strict first order.	english_format.kif 192-192
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8454-8454	date is a subrelation of time
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 192-192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58084-58084
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58083-58083

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2761-2773	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)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2775-2787	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)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22960-22973	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 1448-1465	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12572-12578	If a physical is a patient of a 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, then the process is an instance of creation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22707-22714	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22736-22743	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22759-22764	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 462-487	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 real number 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 real numberINT, then for all another time interval if the real numberINT 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 another real number the unit of measure(s) and the other real number is less than or equal to the real number, 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3318-3327	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8116-8120	If a physical exists during a time point and the time point is an instance of time point, then 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7884-7887	If a physical exists during a time position, then the time position is a part of the time of existence of the physical

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 704-711	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 7870-7877	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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2435-2442	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2761-2773	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)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2775-2787	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)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22960-22973	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 1427-1442	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 21740-21753	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1448-1465	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.	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 2677-2693	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 2631-2647	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 2695-2711	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 2649-2667	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3318-3327	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8020-8032	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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2370-2377	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 828-833	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12563-12570	If a process is an instance of creation, then 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12058-12065	If a process is an instance of destruction, then 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3104-3117	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22727-22734	If an object plays role in event of type a case role for a kind of process with a time position and another object, then there exists another process such that the other process is an instance of a kind of process and the other process exists during the time position and the other process is located at 2 and the object plays role in event the case role for the other process

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: