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 1982-1983
(subclass TimeDuration TimeMeasure) Merge.kif 1980-1980 subclass TimeDuration and TimeMeasure

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


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

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


(domain AccelerationFn 2 TimeDuration) Cars.kif 1275-1275 domain AccelerationFn, 2 and TimeDuration
(domain RotationFn 2 TimeDuration) Cars.kif 2090-2090 domain RotationFn, 2 and TimeDuration
(domain SpeedFn 2 TimeDuration) Merge.kif 6242-6242 domain SpeedFn, 2 and TimeDuration
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 11645-11645 domain TimePeriodFn, 2 and TimeDuration
(domain VelocityFn 2 TimeDuration) Merge.kif 6253-6253 domain VelocityFn, 2 and TimeDuration
(domain age 2 TimeDuration) Merge.kif 7041-7041 domain age, 2 and TimeDuration
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 589-589 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 7372-7372 domain duration, 2 and TimeDuration
(domain frequency 2 TimeDuration) Merge.kif 7382-7382 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 14521-14521 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 5966-5970
(=>
    (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