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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimePosition
TimePosition(時間位置)

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 partition 時間位置, 時間間隔 and 時点
(subclass TimePosition TimeMeasure) Merge.kif 2172-2172 subclass 時間位置 and 時間測定

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


(range RelativeTimeFn TimePosition) Merge.kif 17572-17572 range RelativeTimeFn and 時間位置
(subclass TimeInterval TimePosition) Merge.kif 2180-2180 subclass 時間間隔 and 時間位置
(subclass TimePoint TimePosition) Merge.kif 2188-2188 subclass 時点 and 時間位置
(termFormat ChineseLanguage TimePosition "时间位置") chinese_format.kif 879-879 termFormat ChineseLanguage, 時間位置 and "时间位置"
(termFormat EnglishLanguage TimePosition "time position") english_format.kif 698-698 termFormat EnglishLanguage, 時間位置 and "time position"
(termFormat JapaneseLanguage TimePosition "時間位置") english_format.kif 699-699 termFormat JapaneseLanguage, 時間位置 and "時間位置"

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


(domain FutureFn 1 TimePosition) Merge.kif 8618-8618 domain FutureFn, 1 and 時間位置
(domain ImmediateFutureFn 1 TimePosition) Merge.kif 8636-8636 domain ImmediateFutureFn, 1 and 時間位置
(domain ImmediatePastFn 1 TimePosition) Merge.kif 8603-8603 domain ImmediatePastFn, 1 and 時間位置
(domain PastFn 1 TimePosition) Merge.kif 8584-8584 domain PastFn, 1 and 時間位置
(domain RelativeTimeFn 1 TimePosition) Merge.kif 17570-17570 domain RelativeTimeFn, 1 and 時間位置
(domain amountDue 3 TimePosition) FinancialOntology.kif 611-611 domain amountDue, 3 and 時間位置
(domain atTheMoney 2 TimePosition) FinancialOntology.kif 2944-2944 domain atTheMoney, 2 and 時間位置
(domain compensationPackage 3 TimePosition) FinancialOntology.kif 3257-3257 domain compensationPackage, 3 and 時間位置
(domain componentDataID 1 TimePosition) QoSontology.kif 885-885 domain componentDataID, 1 and 時間位置
(domain detainedAtTimeInPlace 2 TimePosition) Justice.kif 18-18 domain detainedAtTimeInPlace, 2 and 時間位置
(domain holdsDuring 1 TimePosition) Merge.kif 4009-4009 domain holdsDuring, 1 and 時間位置
(domain holidayTimeInArea 2 TimePosition) Government.kif 624-624 domain holidayTimeInArea, 2 and 時間位置
(domain inTheMoney 2 TimePosition) FinancialOntology.kif 2917-2917 domain inTheMoney, 2 and 時間位置
(domain locatedAtTime 2 TimePosition) Mid-level-ontology.kif 21204-21204 domain locatedAtTime, 2 and 時間位置
(domain memberAtTime 3 TimePosition) Mid-level-ontology.kif 20575-20575 domain memberAtTime, 3 and 時間位置
(domain monitorApplicationData 1 TimePosition) QoSontology.kif 961-961 domain monitorApplicationData, 1 and 時間位置
(domain monitorComponentData 1 TimePosition) QoSontology.kif 936-936 domain monitorComponentData, 1 and 時間位置
(domain monitorConnectivityData 1 TimePosition) QoSontology.kif 955-955 domain monitorConnectivityData, 1 and 時間位置
(domain observedAtTimeInPlace 3 TimePosition) Justice.kif 33-33 domain observedAtTimeInPlace, 3 and 時間位置
(domain outOfTheMoney 2 TimePosition) FinancialOntology.kif 2960-2960 domain outOfTheMoney, 2 and 時間位置
(domain playsRoleInEventOfType 4 TimePosition) Mid-level-ontology.kif 21177-21177 domain playsRoleInEventOfType, 4 and 時間位置
(domain temporalPart 1 TimePosition) Merge.kif 8145-8145 domain temporalPart, 1 and 時間位置
(domain temporalPart 2 TimePosition) Merge.kif 8146-8146 domain temporalPart, 2 and 時間位置
(domain time 2 TimePosition) Merge.kif 3992-3992 domain time, 2 and 時間位置
(domain visibilityInMeteorology 2 TimePosition) Weather.kif 1110-1110 domain visibilityInMeteorology, 2 and 時間位置

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