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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeDuration
TimeDuration(持续时间)

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


(documentation TimeDuration ChineseLanguage "这是任何量度时间的衡量,它可以是是基于通用时间轴的, 也可以是不基于通用时间轴的的。") chinese_format.kif 1781-1782
(documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") Merge.kif 1983-1984
(subclass TimeDuration TimeMeasure) Merge.kif 1981-1981 持续时间时间单位subclass

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


(termFormat ChineseLanguage TimeDuration "持续时间") chinese_format.kif 878-878
(termFormat EnglishLanguage TimeDuration "time duration") english_format.kif 963-963

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


(domain AccelerationFn 2 TimeDuration) Cars.kif 1276-1276 AccelerationFn 的 2 数量 是 持续时间instance
(domain RotationFn 2 TimeDuration) Cars.kif 2091-2091 RotationFn 的 2 数量 是 持续时间instance
(domain SpeedFn 2 TimeDuration) Merge.kif 6361-6361 速率函数 的 2 数量 是 持续时间instance
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11671-11671 TimePeriodFn 的 2 数量 是 持续时间instance
(domain VelocityFn 2 TimeDuration) Merge.kif 6372-6372 速度函数 的 2 数量 是 持续时间instance
(domain age 2 TimeDuration) Merge.kif 7161-7161 年龄 的 2 数量 是 持续时间instance
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 591-591 ageOfMajorityForProcess 的 1 数量 是 持续时间instance
(domain albumLength 2 TimeDuration) Music.kif 327-327 albumLength 的 2 数量 是 持续时间instance
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 841-841 期间平均降水量 的 2 数量 是 持续时间instance
(domain averageTemperatureForPeriod 2 TimeDuration) Weather.kif 597-597 期间平均温度 的 2 数量 是 持续时间instance
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1192-1192 批次到达 的 2 数量 是 持续时间instance
(domain batchLatency 2 TimeDuration) QoSontology.kif 1186-1186 批量延迟 的 2 数量 是 持续时间instance
(domain collectRate 2 TimeDuration) QoSontology.kif 2154-2154 收集率 的 2 数量 是 持续时间instance
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 473-473 白天的总时数 的 3 数量 是 持续时间instance
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1250-1250 依赖延迟 的 2 数量 是 持续时间instance
(domain duration 2 TimeDuration) Merge.kif 7496-7496 时段 的 2 数量 是 持续时间instance
(domain frequency 2 TimeDuration) Merge.kif 7506-7506 频率 的 2 数量 是 持续时间instance
(domain granularity 2 TimeDuration) QoSontology.kif 1509-1509 粒度 的 2 数量 是 持续时间instance
(domain highestTemperatureForPeriod 2 TimeDuration) Weather.kif 609-609 期间最高温度 的 2 数量 是 持续时间instance
(domain lowestTemperatureForPeriod 2 TimeDuration) Weather.kif 621-621 期间最低温度 的 2 数量 是 持续时间instance
(domain militaryAge 2 TimeDuration) Military.kif 838-838 军事时代 的 2 数量 是 持续时间instance
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 707-707 最低付费 的 3 数量 是 持续时间instance
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 14547-14547 货币工资 的 3 数量 是 持续时间instance
(domain overcastDaysInPeriod 2 TimeDuration) Weather.kif 564-564 期间阴天 的 2 数量 是 持续时间instance
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 691-691 定期付款 的 3 数量 是 持续时间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 6085-6089
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners