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