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 "这是任何量度时间的衡量,它可以是是基于通用时间轴的, 也可以是不基于通用时间轴的的。") 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

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


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

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


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

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 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