TreeView Knowledge Base Browser - temporallyBetweenOrEqual

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

temporallyBetweenOrEqual

Sigma KEE - temporallyBetweenOrEqual

temporallyBetweenOrEqual

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2714-2716
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8189-8192
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1438-1440
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8185-8185	The number 1 argument of temporally between or equal is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8186-8186	The number 2 argument of temporally between or equal is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8187-8187	The number 3 argument of temporally between or equal is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8184-8184	temporally between or equal is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8182-8182	temporally between or equal is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8183-8183	temporally between or equal is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 429-429
No TPTP formula. May not be expressible in strict first order.	english_format.kif 435-435
No TPTP formula. May not be expressible in strict first order.	french_format.kif 249-249
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 295-295
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2043-2043
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 201-201
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 254-254
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 559-559
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 331-331
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 270-270
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 272-272
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 487-487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8160-8160	temporally between is a subrelation of temporally between or equal
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 430-430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57446-57446
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57445-57445
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57444-57444

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8212-8221	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.	Merge.kif 8194-8198	If a time point is between or at another time point and a third time point, then the other time point happens before or at the time point and the time point happens before or at the third time point

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8200-8204	If a time point happens before or at another time point and the other time point happens before or at a third time point, then the other time point is between or at the time point and the third time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8430-8439	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.	Merge.kif 8206-8210	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.	Hotel.kif 746-756	If the last renovation of an object was in a kind of year, then there exist a time interval and a process such that the process is an instance of repairing and the object is a patient of the process and the time interval is an instance of a kind of year and the end of the time of existence of the process is between or at the beginning of the time interval and the end of the time interval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 725-735	If an object was built in a kind of year, then there exist a time interval and a process such that the time interval is an instance of a kind of year and the process is an instance of making and the object is a result of the process and the end of the time of existence of the process is between or at the beginning of the time interval and the end of the time interval

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