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

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