TreeView Knowledge Base Browser - temporallyBetween

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

temporallyBetween

Sigma KEE - temporallyBetween

temporallyBetween

appearance as argument number 1

(documentation temporallyBetween ChineseLanguage "(temporallyBetween ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT2 位于 TimePoint ?POINT1 和 ?POINT3 之间，即是 ?POINT1 在?POINT2 之前，而 ?POINT2 在 ?POINT3 之前。")	chinese_format.kif 2711-2713
(documentation temporallyBetween EnglishLanguage "(temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT2 is between the TimePoints ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3.")	Merge.kif 7702-7705
(domain temporallyBetween 1 TimePoint)	Merge.kif 7698-7698	The number 1 argument of temporally between is an instance of time point
(domain temporallyBetween 2 TimePoint)	Merge.kif 7699-7699	The number 2 argument of temporally between is an instance of time point
(domain temporallyBetween 3 TimePoint)	Merge.kif 7700-7700	The number 3 argument of temporally between is an instance of time point
(instance temporallyBetween PartialValuedRelation)	Merge.kif 7696-7696	temporally between is an instance of partial valued relation
(instance temporallyBetween TemporalRelation)	Merge.kif 7694-7694	temporally between is an instance of temporal relation
(instance temporallyBetween TernaryPredicate)	Merge.kif 7695-7695	temporally between is an instance of ternary predicate
(subrelation temporallyBetween temporallyBetweenOrEqual)	Merge.kif 7697-7697	temporally between is a subrelation of temporally between or equal

appearance as argument number 2

(format ChineseLanguage temporallyBetween "时间%2 %n 是在时间 %1 和时间 %3 between")	chinese_format.kif 427-427
(format EnglishLanguage temporallyBetween "%2 is %n between %1 and %3")	english_format.kif 436-436
(termFormat ChineseLanguage temporallyBetween "一时之间")	domainEnglishFormat.kif 57321-57321
(termFormat ChineseLanguage temporallyBetween "在两个时间之间")	chinese_format.kif 428-428
(termFormat ChineseTraditionalLanguage temporallyBetween "一時之間")	domainEnglishFormat.kif 57320-57320
(termFormat EnglishLanguage temporallyBetween "temporally between")	domainEnglishFormat.kif 57319-57319

antecedent

(<=>
    (temporallyBetween ?POINT1 ?POINT2 ?POINT3)
    (and
        (before ?POINT1 ?POINT2)
        (before ?POINT2 ?POINT3)))

Merge.kif 7707-7711

A time point is between another time point and a third time point if and only if the other time point happens before the time point and the time point happens before the third time point

consequent

(=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (exists (?OTHERPOINT) (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))	Merge.kif 7462-7467	If a time point is an instance of time point and the time point is not equal to negative infinity, then there exists another time point such that the other time point is between negative infinity and the time point
(=> (and (instance ?POINT TimePoint) (not (equal ?POINT PositiveInfinity))) (exists (?OTHERPOINT) (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))	Merge.kif 7444-7449	If a time point is an instance of time point and the time point is not equal to positive infinity, then there exists another time point such that the other time point is between the time point and positive infinity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners