Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation TimePosition ChineseLanguage "这是从 NegativeInfinityPositiveInfinity 通用时间轴上的任何 TimePointTimeInterval。") Merge.kif 2177-2178
(documentation TimePosition EnglishLanguage "Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.") Merge.kif 2174-2176
(partition TimePosition TimeInterval TimePoint) Merge.kif 2173-2173 Time position is exhaustively partitioned into time interval and time point
(subclass TimePosition TimeMeasure) Merge.kif 2172-2172 Time position is a subclass of time measure

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


(range RelativeTimeFn TimePosition) Merge.kif 17572-17572 The range of relative time is an instance of time position
(subclass TimeInterval TimePosition) Merge.kif 2180-2180 Time interval is a subclass of time position
(subclass TimePoint TimePosition) Merge.kif 2188-2188 Time point is a subclass of time position
(termFormat ChineseLanguage TimePosition "时间位置") chinese_format.kif 879-879 "时间位置" is the printable form of time position in ChineseLanguage
(termFormat EnglishLanguage TimePosition "time position") english_format.kif 566-566 "time position" is the printable form of time position in english language

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


(domain FutureFn 1 TimePosition) Merge.kif 8618-8618 The number 1 argument of future is an instance of time position
(domain ImmediateFutureFn 1 TimePosition) Merge.kif 8636-8636 The number 1 argument of immediate future is an instance of time position
(domain ImmediatePastFn 1 TimePosition) Merge.kif 8603-8603 The number 1 argument of immediate past is an instance of time position
(domain PastFn 1 TimePosition) Merge.kif 8584-8584 The number 1 argument of past is an instance of time position
(domain RelativeTimeFn 1 TimePosition) Merge.kif 17570-17570 The number 1 argument of relative time is an instance of time position
(domain amountDue 3 TimePosition) FinancialOntology.kif 611-611 The number 3 argument of amount due is an instance of time position
(domain atTheMoney 2 TimePosition) FinancialOntology.kif 2944-2944 The number 2 argument of at the money is an instance of time position
(domain compensationPackage 3 TimePosition) FinancialOntology.kif 3257-3257 The number 3 argument of compensation package is an instance of time position
(domain componentDataID 1 TimePosition) QoSontology.kif 885-885 The number 1 argument of component dataI d is an instance of time position
(domain detainedAtTimeInPlace 2 TimePosition) Justice.kif 18-18 The number 2 argument of detained at time in place is an instance of time position
(domain holdsDuring 1 TimePosition) Merge.kif 4009-4009 The number 1 argument of holds during is an instance of time position
(domain holidayTimeInArea 2 TimePosition) Government.kif 624-624 The number 2 argument of holiday time in area is an instance of time position
(domain inTheMoney 2 TimePosition) FinancialOntology.kif 2917-2917 The number 2 argument of in the money is an instance of time position
(domain locatedAtTime 2 TimePosition) Mid-level-ontology.kif 21204-21204 The number 2 argument of located at time is an instance of time position
(domain memberAtTime 3 TimePosition) Mid-level-ontology.kif 20575-20575 The number 3 argument of member at time is an instance of time position
(domain monitorApplicationData 1 TimePosition) QoSontology.kif 961-961 The number 1 argument of monitor application data is an instance of time position
(domain monitorComponentData 1 TimePosition) QoSontology.kif 936-936 The number 1 argument of monitor component data is an instance of time position
(domain monitorConnectivityData 1 TimePosition) QoSontology.kif 955-955 The number 1 argument of monitor connectivity data is an instance of time position
(domain observedAtTimeInPlace 3 TimePosition) Justice.kif 33-33 The number 3 argument of observed at time in place is an instance of time position
(domain outOfTheMoney 2 TimePosition) FinancialOntology.kif 2960-2960 The number 2 argument of out of the money is an instance of time position
(domain playsRoleInEventOfType 4 TimePosition) Mid-level-ontology.kif 21177-21177 The number 4 argument of plays role in event of type is an instance of time position
(domain temporalPart 1 TimePosition) Merge.kif 8145-8145 The number 1 argument of temporal part is an instance of time position
(domain temporalPart 2 TimePosition) Merge.kif 8146-8146 The number 2 argument of temporal part is an instance of time position
(domain time 2 TimePosition) Merge.kif 3992-3992 The number 2 argument of time is an instance of time position
(domain visibilityInMeteorology 2 TimePosition) Weather.kif 1110-1110 The number 2 argument of visibility in meteorology is an instance of time position

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA ?TEMP)))
    (holdsDuring ?TIME
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP)))
Geography.kif 1539-1544
(=>
    (and
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring ?TIME
            (possesses ?AGENT2 ?OBJ)))
    (equal ?AGENT1 ?AGENT2))
Merge.kif 4387-4392


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