TreeView Knowledge Base Browser - TimeIntervalFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TimeIntervalFn

TimeIntervalFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2729-2731
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8317-8320
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8313-8313	The number 1 argument of time interval is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8314-8314	The number 2 argument of time interval is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8310-8310	Time interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8312-8312	Time interval is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8311-8311	Time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8315-8315	The range of time interval is an instance of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 453-453
No TPTP formula. May not be expressible in strict first order.	english_format.kif 459-459
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 454-454
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58091-58091
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58090-58090
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58089-58089

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23329-23343	If menopause is an attribute of an agent holds during a time interval and a real number is equal to (year duration 1 and the beginning of the time interval) and another time interval is equal to interval between the other time interval and the beginning of the time interval, then there doesn't exist a process such that the process is an instance of menstruation and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8322-8330	If a time point is an instance of time point and another time point is an instance of time point and a time interval is an instance of time interval and interval between the time point and the other time point is equal to the time interval, then the beginning of the time interval is equal to the time point and the end of the time interval is equal to the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8332-8341	If a time point is an instance of time point and another time point is an instance of time point and a time interval is an instance of time interval and interval between the time point and the other time point is equal to the time interval, then for all a third time point the third time point is between or at the time point and the other time point if and only if the third time point is a part of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13506-13512	If a time point is an instance of time point and another time point is an instance of time point and a time interval is equal to interval between the time point and the other time point and duration of the time interval is a time duration, then the time interval is equal to a time that starts at the time point and lasts for the time duration

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1934-1939	If a day is a birthdate of JesusOfNazareth and a time interval is an instance of the year -6 and another time interval is an instance of the year 4, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1941-1946	If a day is a deathdate of JesusOfNazareth and a time interval is an instance of the year 29 and another time interval is an instance of the year 36, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1957-1961	If a time interval is an instance of the year 26 and another time interval is an instance of the year 100, then the time of existence of TwelveApostles is a part of interval between the beginning of the time interval and the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7428-7432	If a time point is an instance of time point and the age of a physical is a time duration holds during the time point, then duration of interval between the beginning of the time of existence of the physical and the time point is the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29408-29438	If a process is an instance of BreakingRecord and an agent is an agent of the process, then there exist a class, another class,, , another process,, , a time point,, , a case role,, , a third class and an entity such that the class is an instance of set and the agent is an instance of the class and the other class is a subclass of process and the third class is a subclass of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the other class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at 2 and there don't exist another entity and a third entity such that the other entity is an instance of the class and the other entity is not equal to the agent and the third entity is an instance of the other class and the other entity plays role in event the case role for the third entity and the third entity is located at 2 holds during interval between the time point and the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 665-678	If a reservation starts at a time point and the reservation ends at another time point and an agent reserves the reservation and another agent fulfills the reservation, then the statement there exists an entity such that the entity is an instance of intentional process and the other agent is an agent of the entity and the entity ends up at the agent holds during interval between the time point and the other time point has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2920-2931	If an agent is a reservation for a kind of hotel unit and a reservation starts at the agent and another reservation ends at the agent and the agent reserves a third reservation, then the statement an entity is an instance of a kind of hotel unit and the third reservation stays at the entity holds during interval between the reservation and the other reservation has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8423-8425	If a time interval is an instance of time interval, then after the time interval is equal to interval between the end of the time interval and positive infinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8392-8394	If a time interval is an instance of time interval, then before the time interval is equal to interval between negative infinity and the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 195-204	If a time interval is an instance of lunch time, then there exist another time interval and a third time interval such that the time interval takes place during interval between the beginning of the other time interval and the end of the third time interval and the other time interval is an instance of the hour 11 and the third time interval is an instance of the hour 15
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1877-1885	If The Measuring for list a measuring list takes a time duration., then there exists a time interval such that the time interval is equal to interval between the beginning of the time of existence of the first of the measuring list and the end of the time of existence of the last of the measuring list and duration of the time interval is the time duration

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