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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimePosition

Sigma KEE - TimePosition
TimePosition

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


(documentation TimePosition ChineseLanguage "这是从 NegativeInfinityPositiveInfinity 通用时间轴上的任何 TimePointTimeInterval。") Merge.kif 2164-2165
(documentation TimePosition EnglishLanguage "Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.") Merge.kif 2161-2163
(partition TimePosition TimeInterval TimePoint) Merge.kif 2160-2160
(subclass TimePosition TimeMeasure) Merge.kif 2159-2159

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


(range RelativeTimeFn TimePosition) Merge.kif 17520-17520
(subclass TimeInterval TimePosition) Merge.kif 2167-2167
(subclass TimePoint TimePosition) Merge.kif 2175-2175
(termFormat ChineseLanguage TimePosition "时间位置") chinese_format.kif 879-879
(termFormat EnglishLanguage TimePosition "time position") english_format.kif 566-566
(termFormat FrenchLanguage TimePosition "position temporel") french_format.kif 555-555
(termFormat Hindi TimePosition "samaya sthiti") terms-hindi.txt 85-85
(termFormat ItalianLanguage TimePosition "PosizioneTemporale") terms-it.txt 86-86
(termFormat PortugueseLanguage TimePosition "Posicao Temporal") portuguese_format.kif 507-507
(termFormat ar TimePosition "مَوْضِع الوَقْت") arabic_format.kif 291-291
(termFormat cb TimePosition "kahimtang oras") terms-cb.txt 90-90
(termFormat cz TimePosition "time position") terms-cz.txt 122-122
(termFormat tg TimePosition "kalagayan ng panahon") terms-tg.txt 89-89

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


(domain FutureFn 1 TimePosition) Merge.kif 8601-8601
(domain ImmediateFutureFn 1 TimePosition) Merge.kif 8619-8619
(domain ImmediatePastFn 1 TimePosition) Merge.kif 8586-8586
(domain PastFn 1 TimePosition) Merge.kif 8567-8567
(domain RelativeTimeFn 1 TimePosition) Merge.kif 17518-17518
(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 870-870
(domain detainedAtTimeInPlace 2 TimePosition) Justice.kif 18-18
(domain holdsDuring 1 TimePosition) Merge.kif 3996-3996
(domain holidayTimeInArea 2 TimePosition) Government.kif 624-624
(domain inTheMoney 2 TimePosition) FinancialOntology.kif 2917-2917
(domain locatedAtTime 2 TimePosition) Mid-level-ontology.kif 21173-21173
(domain memberAtTime 3 TimePosition) Mid-level-ontology.kif 20544-20544
(domain monitorApplicationData 1 TimePosition) QoSontology.kif 946-946
(domain monitorComponentData 1 TimePosition) QoSontology.kif 921-921
(domain monitorConnectivityData 1 TimePosition) QoSontology.kif 940-940
(domain observedAtTimeInPlace 3 TimePosition) Justice.kif 33-33
(domain outOfTheMoney 2 TimePosition) FinancialOntology.kif 2960-2960
(domain playsRoleInEventOfType 4 TimePosition) Mid-level-ontology.kif 21146-21146
(domain temporalPart 1 TimePosition) Merge.kif 8128-8128
(domain temporalPart 2 TimePosition) Merge.kif 8129-8129
(domain time 2 TimePosition) Merge.kif 3979-3979
(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 4374-4379


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