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 TimeDuration and TimeMeasure

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 domain AccelerationFn, 2 and TimeDuration
(domain RotationFn 2 TimeDuration) Cars.kif 2091-2091 domain RotationFn, 2 and TimeDuration
(domain SpeedFn 2 TimeDuration) Merge.kif 6328-6328 domain SpeedFn, 2 and TimeDuration
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11646-11646 domain TimePeriodFn, 2 and TimeDuration
(domain VelocityFn 2 TimeDuration) Merge.kif 6339-6339 domain VelocityFn, 2 and TimeDuration
(domain age 2 TimeDuration) Merge.kif 7128-7128 domain age, 2 and TimeDuration
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 591-591 domain ageOfMajorityForProcess, 1 and TimeDuration
(domain albumLength 2 TimeDuration) Music.kif 327-327 domain albumLength, 2 and TimeDuration
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 845-845 domain averagePrecipitationForPeriod, 2 and TimeDuration
(domain averageTemperatureForPeriod 2 TimeDuration) Weather.kif 597-597 domain averageTemperatureForPeriod, 2 and TimeDuration
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1192-1192 domain batchInterArrival, 2 and TimeDuration
(domain batchLatency 2 TimeDuration) QoSontology.kif 1186-1186 domain batchLatency, 2 and TimeDuration
(domain collectRate 2 TimeDuration) QoSontology.kif 2154-2154 domain collectRate, 2 and TimeDuration
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 473-473 domain daylightHoursTotal, 3 and TimeDuration
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1250-1250 domain dependencyDelay, 2 and TimeDuration
(domain duration 2 TimeDuration) Merge.kif 7463-7463 domain duration, 2 and TimeDuration
(domain frequency 2 TimeDuration) Merge.kif 7473-7473 domain frequency, 2 and TimeDuration
(domain granularity 2 TimeDuration) QoSontology.kif 1509-1509 domain granularity, 2 and TimeDuration
(domain highestTemperatureForPeriod 2 TimeDuration) Weather.kif 609-609 domain highestTemperatureForPeriod, 2 and TimeDuration
(domain lowestTemperatureForPeriod 2 TimeDuration) Weather.kif 621-621 domain lowestTemperatureForPeriod, 2 and TimeDuration
(domain militaryAge 2 TimeDuration) Military.kif 838-838 domain militaryAge, 2 and TimeDuration
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 707-707 domain minimumPayment, 3 and TimeDuration
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 14522-14522 domain monetaryWage, 3 and TimeDuration
(domain overcastDaysInPeriod 2 TimeDuration) Weather.kif 564-564 domain overcastDaysInPeriod, 2 and TimeDuration
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 691-691 domain periodicPayment, 3 and TimeDuration

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 6052-6056
(=>
    (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