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 3348-3349
(documentation TimePosition EnglishLanguage "Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.") Merge.kif 3345-3346
(documentation TimePosition JapaneseLanguage "NegativeInfinity から PositiveInfinity までのユニバーサルタイムラインに沿った TimePoint または TimeInterval 。") Merge.kif 3351-3352
(partition TimePosition TimeInterval TimePoint) Merge.kif 3343-3343
(subclass TimePosition TimeMeasure) Merge.kif 3342-3342

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


(range RelativeTimeFn TimePosition) Merge.kif 21944-21944
(subclass TimeInterval TimePosition) Merge.kif 3354-3354
(subclass TimePoint TimePosition) Merge.kif 3369-3369
(termFormat ChineseLanguage TimePosition "时间位置") chinese_format.kif 879-879
(termFormat EnglishLanguage TimePosition "time position") english_format.kif 1330-1330
(termFormat JapaneseLanguage TimePosition "時間位置") english_format.kif 1331-1331

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


(domain FutureFn 1 TimePosition) Merge.kif 12028-12028
(domain ImmediateFutureFn 1 TimePosition) Merge.kif 12051-12051
(domain ImmediatePastFn 1 TimePosition) Merge.kif 12008-12008
(domain PastFn 1 TimePosition) Merge.kif 11984-11984
(domain RelativeTimeFn 1 TimePosition) Merge.kif 21942-21942
(domain amountDue 3 TimePosition) FinancialOntology.kif 611-611
(domain atTheMoney 2 TimePosition) FinancialOntology.kif 2944-2944
(domain compensationPackage 3 TimePosition) FinancialOntology.kif 3257-3257
(domain componentDataID 1 TimePosition) QoSontology.kif 885-885
(domain detainedAtTimeInPlace 2 TimePosition) Justice.kif 18-18
(domain holdsDuring 1 TimePosition) Merge.kif 5845-5845
(domain holidayTimeInArea 2 TimePosition) Government.kif 624-624
(domain inTheMoney 2 TimePosition) FinancialOntology.kif 2917-2917
(domain locatedAtTime 2 TimePosition) Mid-level-ontology.kif 21205-21205
(domain memberAtTime 3 TimePosition) Mid-level-ontology.kif 20576-20576
(domain monitorApplicationData 1 TimePosition) QoSontology.kif 961-961
(domain monitorComponentData 1 TimePosition) QoSontology.kif 936-936
(domain monitorConnectivityData 1 TimePosition) QoSontology.kif 955-955
(domain observedAtTimeInPlace 3 TimePosition) Justice.kif 33-33
(domain outOfTheMoney 2 TimePosition) FinancialOntology.kif 2960-2960
(domain playsRoleInEventOfType 4 TimePosition) Mid-level-ontology.kif 21178-21178
(domain temporalPart 1 TimePosition) Merge.kif 11441-11441
(domain temporalPart 2 TimePosition) Merge.kif 11442-11442
(domain time 2 TimePosition) Merge.kif 5820-5820
(domain visibilityInMeteorology 2 TimePosition) Weather.kif 1110-1110

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 6345-6350


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