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 2154-2155
(documentation TimePosition EnglishLanguage "Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.") Merge.kif 2151-2153
(partition TimePosition TimeInterval TimePoint) Merge.kif 2150-2150
(subclass TimePosition TimeMeasure) Merge.kif 2149-2149

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


(range RelativeTimeFn TimePosition) Merge.kif 17434-17434
(subclass TimeInterval TimePosition) Merge.kif 2157-2157
(subclass TimePoint TimePosition) Merge.kif 2165-2165
(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 8566-8566
(domain ImmediateFutureFn 1 TimePosition) Merge.kif 8584-8584
(domain ImmediatePastFn 1 TimePosition) Merge.kif 8551-8551
(domain PastFn 1 TimePosition) Merge.kif 8532-8532
(domain RelativeTimeFn 1 TimePosition) Merge.kif 17432-17432
(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 887-887
(domain detainedAtTimeInPlace 2 TimePosition) Justice.kif 18-18
(domain holdsDuring 1 TimePosition) Merge.kif 3982-3982
(domain holidayTimeInArea 2 TimePosition) Government.kif 624-624
(domain inTheMoney 2 TimePosition) FinancialOntology.kif 2917-2917
(domain locatedAtTime 2 TimePosition) Mid-level-ontology.kif 20812-20812
(domain memberAtTime 3 TimePosition) Mid-level-ontology.kif 20183-20183
(domain monitorApplicationData 1 TimePosition) QoSontology.kif 963-963
(domain monitorComponentData 1 TimePosition) QoSontology.kif 938-938
(domain monitorConnectivityData 1 TimePosition) QoSontology.kif 957-957
(domain observedAtTimeInPlace 3 TimePosition) Justice.kif 33-33
(domain outOfTheMoney 2 TimePosition) FinancialOntology.kif 2960-2960
(domain playsRoleInEventOfType 4 TimePosition) Mid-level-ontology.kif 20785-20785
(domain temporalPart 1 TimePosition) Merge.kif 8096-8096
(domain temporalPart 2 TimePosition) Merge.kif 8097-8097
(domain time 2 TimePosition) Merge.kif 3965-3965
(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 4356-4361


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