Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - temporallyBetweenOrEqual
temporallyBetweenOrEqual

appearance as argument number 1
-------------------------


(documentation temporallyBetweenOrEqual ChineseLanguage "(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT1 等于或是在 TimePoint ?POINT2 之前, 而 ?POINT2 等于或是在 TimePoint?POINT3 之前。") chinese_format.kif 2714-2716
(documentation temporallyBetweenOrEqual EnglishLanguage "(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT1 is before or equal to the TimePoint ?POINT2 and ?POINT2 is before or equal to the TimePoint ?POINT3.") Merge.kif 7756-7759
(domain temporallyBetweenOrEqual 1 TimePoint) Merge.kif 7752-7752 domain temporallyBetweenOrEqual, 1 and TimePoint
(domain temporallyBetweenOrEqual 2 TimePoint) Merge.kif 7753-7753 domain temporallyBetweenOrEqual, 2 and TimePoint
(domain temporallyBetweenOrEqual 3 TimePoint) Merge.kif 7754-7754 domain temporallyBetweenOrEqual, 3 and TimePoint
(instance temporallyBetweenOrEqual PartialValuedRelation) Merge.kif 7751-7751 instance temporallyBetweenOrEqual and PartialValuedRelation
(instance temporallyBetweenOrEqual TemporalRelation) Merge.kif 7749-7749 instance temporallyBetweenOrEqual and TemporalRelation
(instance temporallyBetweenOrEqual TernaryPredicate) Merge.kif 7750-7750 instance temporallyBetweenOrEqual and TernaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage temporallyBetweenOrEqual "%2 %n 是在或等于 %1 和 %3 between") chinese_format.kif 429-429
(format EnglishLanguage temporallyBetweenOrEqual "%2 is %n between or at %1 and %3") english_format.kif 438-438
(subrelation temporallyBetween temporallyBetweenOrEqual) Merge.kif 7733-7733 subrelation temporallyBetween and temporallyBetweenOrEqual
(termFormat ChineseLanguage temporallyBetweenOrEqual "在两个时间之间或同时") chinese_format.kif 430-430
(termFormat ChineseLanguage temporallyBetweenOrEqual "暂时之间或等于") domainEnglishFormat.kif 57358-57358
(termFormat ChineseTraditionalLanguage temporallyBetweenOrEqual "暫時之間或等於") domainEnglishFormat.kif 57357-57357
(termFormat EnglishLanguage temporallyBetweenOrEqual "temporally between or equal") domainEnglishFormat.kif 57356-57356

antecedent
-------------------------


(<=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3)))
Merge.kif 7761-7765 temporallyBetweenOrEqual TimePoint, TimePoint and TimePoint beforeOrEqual TimePoint and TimePoint beforeOrEqual TimePoint and TimePoint

consequent
-------------------------


(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))
Merge.kif 7767-7771 time Physical and TimePoint instance TimePoint and TimePoint temporallyBetweenOrEqual BeginFn WhenFn Physical, TimePoint and EndFn WhenFn Physical
(=>
    (and
        (instance ?POINT1 TimePoint)
        (instance ?POINT2 TimePoint)
        (instance ?INTERVAL TimeInterval)
        (equal
            (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))
    (forall (?POINT)
        (<=>
            (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
            (temporalPart ?POINT ?INTERVAL))))
Merge.kif 7903-7912
(=>
    (lastRenovation ?OBJ ?YEAR)
    (exists (?TIME ?REPAIR)
        (and
            (instance ?REPAIR Repairing)
            (patient ?REPAIR ?OBJ)
            (instance ?TIME ?YEAR)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?REPAIR))
                (EndFn ?TIME)))))
Hotel.kif 719-729
(=>
    (yearBuilt ?OBJ ?YEAR)
    (exists (?TIME ?MAKE)
        (and
            (instance ?TIME ?YEAR)
            (instance ?MAKE Making)
            (result ?MAKE ?OBJ)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?MAKE))
                (EndFn ?TIME)))))
Hotel.kif 698-708


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