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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimeDuration

Sigma KEE - TimeDuration
TimeDuration(time duration)15_minutes, 30_minutes, Great_Schism, Lower_Paleolithic, Middle_Paleolithic, OWLT, Platonic_year, RTLT, Upper_Paleolithic, aeon, age_norm, air_alert, all-night, anomalistic_month, attention_span, attosecond, bell, biannually, bicentenary, bicentennial, biennially, bimester, bimestrial, biological_time, bit, biweekly, biyearly, centenary, centennial, centennially, civil, climacteric, clocking, clotting_time, cold_snap, cold_spell, command_overhead, command_processing_overhead, command_processing_overhead_time, day, daylong, duple_time, elapsed, eon, extended_time_scale, fast_time_scale, femtosecond, float, fortnight, fortnightly...

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


(documentation TimeDuration ChineseLanguage "这是任何量度时间的衡量,它可以是是基于通用时间轴的, 也可以是不基于通用时间轴的的。") Merge.kif 2169-2170
(documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") Merge.kif 2167-2168
(subclass TimeDuration TimeMeasure) Merge.kif 2166-2166 Time duration is a subclass of time measure

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


(termFormat ChineseLanguage TimeDuration "持续时间") chinese_format.kif 878-878 "持续时间" is the printable form of time duration in ChineseLanguage
(termFormat EnglishLanguage TimeDuration "time duration") english_format.kif 695-695 "time duration" is the printable form of time duration in english language
(termFormat JapaneseLanguage TimeDuration "時間分") english_format.kif 696-696 "時間分" is the printable form of time duration in japanese language

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


(domain AccelerationFn 2 TimeDuration) Cars.kif 1275-1275 The number 2 argument of AccelerationFn is an instance of time duration
(domain RotationFn 2 TimeDuration) Cars.kif 2090-2090 The number 2 argument of RotationFn is an instance of time duration
(domain SpeedFn 2 TimeDuration) Merge.kif 6868-6868 The number 2 argument of speed is an instance of time duration
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11640-11640 The number 2 argument of time period function is an instance of time duration
(domain VelocityFn 2 TimeDuration) Merge.kif 6881-6881 The number 2 argument of velocity is an instance of time duration
(domain age 2 TimeDuration) Merge.kif 7753-7753 The number 2 argument of age is an instance of time duration
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 587-587 The number 1 argument of age of majority for process is an instance of time duration
(domain albumLength 2 TimeDuration) Music.kif 333-333 The number 2 argument of album length is an instance of time duration
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 846-846 The number 2 argument of average precipitation for period is an instance of time duration
(domain averageTemperatureForPeriod 2 TimeDuration) Weather.kif 598-598 The number 2 argument of average temperature for period is an instance of time duration
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1182-1182 The number 2 argument of batch inter arrival is an instance of time duration
(domain batchLatency 2 TimeDuration) QoSontology.kif 1176-1176 The number 2 argument of batch latency is an instance of time duration
(domain collectRate 2 TimeDuration) QoSontology.kif 2127-2127 The number 2 argument of collect rate is an instance of time duration
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 474-474 The number 3 argument of daylight hours total is an instance of time duration
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1240-1240 The number 2 argument of dependency delay is an instance of time duration
(domain duration 2 TimeDuration) Merge.kif 8114-8114 The number 2 argument of duration is an instance of time duration
(domain frequency 2 TimeDuration) Merge.kif 8126-8126 The number 2 argument of frequency is an instance of time duration
(domain granularity 2 TimeDuration) QoSontology.kif 1499-1499 The number 2 argument of granularity is an instance of time duration
(domain heartBeatRate 2 TimeDuration) QoSontology.kif 910-910 The number 2 argument of heart beat rate is an instance of time duration
(domain highestTemperatureForPeriod 2 TimeDuration) Weather.kif 610-610 The number 2 argument of highest temperature for period is an instance of time duration
(domain lowestTemperatureForPeriod 2 TimeDuration) Weather.kif 622-622 The number 2 argument of lowest temperature for period is an instance of time duration
(domain militaryAge 2 TimeDuration) Military.kif 838-838 The number 2 argument of military age is an instance of time duration
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 708-708 The number 3 argument of minimum payment is an instance of time duration
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 14521-14521 The number 3 argument of monetary wage is an instance of time duration
(domain overcastDaysInPeriod 2 TimeDuration) Weather.kif 565-565 The number 2 argument of overcast days in period is an instance of time duration

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfDuration))
    (instance ?QUANT TimeDuration))
Merge.kif 6557-6561
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?DURATION ?CURR)
        (and
            (instance ?CURR CurrencyMeasure)
            (instance ?DURATION TimeDuration)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 485-491
(=>
    (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
    (exists (?DURATION ?CURR)
        (and
            (instance ?DURATION TimeDuration)
            (instance ?CURR CurrencyMeasure)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 442-448


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