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