Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  TimePosition

 Sigma KEE - TimePosition
TimePosition(time position)4-dimensional, TRM, actual, actually, arrival_time, back, bedtime, beginning, change_of_life, checkout, checkout_time, climacteric, clock_time, commencement, curfew, current, date, dawn, day, deadline, deep, departure_time, equinoctial, evening, first, four-dimensional, full_term, get-go, immediate, in_reality, just_then, kickoff, latter-day, lights-out, limitation, meal, menopause, meridian, middle, midweek, nonce, noncurrent, occasion, offset, on-going, ongoing, outset, particular_date, pinpoint, showtime...

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


(subclass TimePosition TimeMeasure) Merge.kif 2188-2188 Time position is a subclass of time measure
(partition TimePosition TimeInterval TimePoint) Merge.kif 2189-2189 Time position is exhaustively partitioned into timeframe and time point
(documentation TimePosition EnglishLanguage "Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.") Merge.kif 2191-2192 Time position is exhaustively partitioned into timeframe and time point

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


(subclass TimeInterval TimePosition) Merge.kif 2194-2194 Timeframe is a subclass of time position
(subclass TimePoint TimePosition) Merge.kif 2201-2201 Time point is a subclass of time position
(range RelativeTimeFn TimePosition) Merge.kif 17581-17581 The range of relative time is an instance of time position
(termFormat EnglishLanguage TimePosition "time position") english_format.kif 964-964 The range of relative time is an instance of time position

appearance as argument number 3
-------------------------


(domain time 2 TimePosition) Merge.kif 3970-3970 The number 2 argument of time is an instance of time position
(domain holdsDuring 1 TimePosition) Merge.kif 3983-3983 The number 1 argument of holds during is an instance of time position
(domain temporalPart 1 TimePosition) Merge.kif 8106-8106 The number 1 argument of temporal part is an instance of time position
(domain temporalPart 2 TimePosition) Merge.kif 8107-8107 The number 2 argument of temporal part is an instance of time position
(domain PastFn 1 TimePosition) Merge.kif 8681-8681 The number 1 argument of past is an instance of time position
(domain ImmediatePastFn 1 TimePosition) Merge.kif 8699-8699 The number 1 argument of immediate past is an instance of time position
(domain FutureFn 1 TimePosition) Merge.kif 8713-8713 The number 1 argument of future is an instance of time position
(domain ImmediateFutureFn 1 TimePosition) Merge.kif 8730-8730 The number 1 argument of immediate future is an instance of time position
(domain RelativeTimeFn 1 TimePosition) Merge.kif 17579-17579 The number 1 argument of relative time is an instance of time position
(domainSubclass dateEstablished 2 TimePosition) Mid-level-ontology.kif 969-969 The number 2 argument of date established is a subclass of time position
(domain WeekAfterFn 1 TimePosition) Mid-level-ontology.kif 16416-16416 The number 1 argument of week after fn is an instance of time position
(domain WeekBeforeFn 1 TimePosition) Mid-level-ontology.kif 16423-16423 The number 1 argument of week before fn is an instance of time position
(domain memberAtTime 3 TimePosition) Mid-level-ontology.kif 24979-24979 The number 3 argument of member at time is an instance of time position
(domain playsRoleInEventOfType 4 TimePosition) Mid-level-ontology.kif 25591-25591 The number 4 argument of plays role in event of type is an instance of time position
(domain locatedAtTime 2 TimePosition) Mid-level-ontology.kif 25618-25618 The number 2 argument of located at time is an instance of time position
(domain amountDue 3 TimePosition) FinancialOntology.kif 672-672 The number 3 argument of amount due is an instance of time position
(domain inTheMoney 2 TimePosition) FinancialOntology.kif 3016-3016 The number 2 argument of in the money is an instance of time position
(domain atTheMoney 2 TimePosition) FinancialOntology.kif 3049-3049 The number 2 argument of at the money is an instance of time position
(domain outOfTheMoney 2 TimePosition) FinancialOntology.kif 3074-3074 The number 2 argument of out of the money is an instance of time position
(domain compensationPackage 3 TimePosition) FinancialOntology.kif 3426-3426 The number 3 argument of compensation package is an instance of time position
(domainSubclass dateOpenedForSignature 2 TimePosition) Geography.kif 4503-4503 The number 2 argument of date opened for signature is a subclass of time position
(domain holidayTimeInArea 2 TimePosition) Government.kif 594-594 The number 2 argument of holiday time in area is an instance of time position
(domainSubclass agreementAdoptionDate 2 TimePosition) Government.kif 662-662 The number 2 argument of agreement adoption date is a subclass of time position
(domainSubclass agreementRevisionDate 2 TimePosition) Government.kif 697-697 The number 2 argument of agreement revision date is a subclass of time position
(domainSubclass agreementEffectiveDuring 2 TimePosition) Government.kif 731-731 The number 2 argument of agreement effective during is a subclass of time position

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring ?TIME
            (possesses ?AGENT2 ?OBJ)))
    (equal ?AGENT1 ?AGENT2))		 Merge.kif 4379-4384 If X is an instance of time position, Y possesses Z holds during X, and W possesses Z holds during X, then equal Y and W
(=>
    (and
        (instance ?INTERVAL3 TimePosition)
        (temporalPart ?INTERVAL3 ?INTERVAL1)
        (temporalPart ?INTERVAL3 ?INTERVAL2))
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2))		 Merge.kif 8500-8505 If X is an instance of time position, X is a part of Y, and X is a part of Z, then Z overlaps Y
(=>
    (and
        (climateTypeInArea ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10.0 ?TEMP)))		 Geography.kif 3054-3060 If polar typeF climate zone is a climate type in area of X, Y is an instance of time position, and Z celsius degree(s) is an air temperature of X holds during Y, then 10.0 is greater than Z holds during Y

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


(=>
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
    (exists (?INTERVAL3)
        (and
            (instance ?INTERVAL3 TimePosition)
            (temporalPart ?INTERVAL3 ?INTERVAL1)
            (temporalPart ?INTERVAL3 ?INTERVAL2))))		 Merge.kif 8492-8498 If X overlaps Y, then there exists Z such that Z is an instance of time position, Z is a part of Y, and Z is a part of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners