TreeView Knowledge Base Browser - time

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

time

Sigma KEE - time

time

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 3790-3796
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3785-3785	The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3786-3786	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 3783-3783	time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3781-3781	time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3782-3782	time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3784-3784	time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3788-3788	time is internally related to holds during
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3787-3787	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 8448-8448	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.	Mid-level-ontology.kif 22936-22949	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.	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 12566-12572	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 22683-22690	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 22712-22719	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 22735-22740	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.	Merge.kif 8110-8114	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 7878-7881	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 692-699	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 7864-7871	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.	Mid-level-ontology.kif 22936-22949	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.	Mid-level-ontology.kif 21716-21729	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.	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.	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 8014-8026	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 822-827	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 12557-12564	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 12052-12059	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.	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 22703-22710	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8028-8034	If a physical is a result of a process, then for all a time point if the time point happens before the beginning of the time of existence of the process, then the physical doesn't exist during the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7873-7876	If a time position is a part of the time of existence of a physical, then the physical exists during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8116-8125	If a time point is between or at the beginning of the time of existence of a physical and the end of the time of existence of the physical, then the physical exists during the time point and the time point is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Biography.kif 52-59	If a human and another human were married on a day, then there exists a process such that the process is an instance of wedding and the human is a patient of the process and the other human is a patient of the process and the process exists during the day

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

Show without tree

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