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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimeDuration

Sigma KEE - TimeDuration
TimeDuration(持续时间)

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 持续时间时间单位subclass

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


(termFormat ChineseLanguage TimeDuration "持续时间") chinese_format.kif 878-878 termFormat ChineseLanguage, 持续时间 and "持续时间"
(termFormat EnglishLanguage TimeDuration "time duration") english_format.kif 695-695 termFormat EnglishLanguage, 持续时间 and "time duration"
(termFormat JapaneseLanguage TimeDuration "時間分") english_format.kif 696-696 termFormat JapaneseLanguage, 持续时间 and "時間分"

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


(domain AccelerationFn 2 TimeDuration) Cars.kif 1275-1275 AccelerationFn 的 2 数量 是 持续时间instance
(domain RotationFn 2 TimeDuration) Cars.kif 2090-2090 RotationFn 的 2 数量 是 持续时间instance
(domain SpeedFn 2 TimeDuration) Merge.kif 6868-6868 速率函数 的 2 数量 是 持续时间instance
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11640-11640 TimePeriodFn 的 2 数量 是 持续时间instance
(domain VelocityFn 2 TimeDuration) Merge.kif 6881-6881 速度函数 的 2 数量 是 持续时间instance
(domain age 2 TimeDuration) Merge.kif 7753-7753 年龄 的 2 数量 是 持续时间instance
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 587-587 ageOfMajorityForProcess 的 1 数量 是 持续时间instance
(domain albumLength 2 TimeDuration) Music.kif 333-333 albumLength 的 2 数量 是 持续时间instance
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 846-846 averagePrecipitationForPeriod 的 2 数量 是 持续时间instance
(domain averageTemperatureForPeriod 2 TimeDuration) Weather.kif 598-598 averageTemperatureForPeriod 的 2 数量 是 持续时间instance
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1182-1182 batchInterArrival 的 2 数量 是 持续时间instance
(domain batchLatency 2 TimeDuration) QoSontology.kif 1176-1176 batchLatency 的 2 数量 是 持续时间instance
(domain collectRate 2 TimeDuration) QoSontology.kif 2127-2127 collectRate 的 2 数量 是 持续时间instance
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 474-474 daylightHoursTotal 的 3 数量 是 持续时间instance
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1240-1240 dependencyDelay 的 2 数量 是 持续时间instance
(domain duration 2 TimeDuration) Merge.kif 8114-8114 时段 的 2 数量 是 持续时间instance
(domain frequency 2 TimeDuration) Merge.kif 8126-8126 频率 的 2 数量 是 持续时间instance
(domain granularity 2 TimeDuration) QoSontology.kif 1499-1499 granularity 的 2 数量 是 持续时间instance
(domain heartBeatRate 2 TimeDuration) QoSontology.kif 910-910 heartBeatRate 的 2 数量 是 持续时间instance
(domain highestTemperatureForPeriod 2 TimeDuration) Weather.kif 610-610 highestTemperatureForPeriod 的 2 数量 是 持续时间instance
(domain lowestTemperatureForPeriod 2 TimeDuration) Weather.kif 622-622 lowestTemperatureForPeriod 的 2 数量 是 持续时间instance
(domain militaryAge 2 TimeDuration) Military.kif 838-838 militaryAge 的 2 数量 是 持续时间instance
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 708-708 minimumPayment 的 3 数量 是 持续时间instance
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 14521-14521 monetaryWage 的 3 数量 是 持续时间instance
(domain overcastDaysInPeriod 2 TimeDuration) Weather.kif 565-565 overcastDaysInPeriod 的 2 数量 是 持续时间instance

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