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 2015-2016
(subclass TimeDuration TimeMeasure) Merge.kif 2013-2013

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


(instance DayDuration TimeDuration) Merge.kif 6988-6988
(instance DecadeDuration TimeDuration) Merge.kif 8658-8658
(instance HourDuration TimeDuration) Merge.kif 6996-6996
(instance MinuteDuration TimeDuration) Merge.kif 7004-7004
(instance MonthDuration TimeDuration) Merge.kif 7021-7021
(instance SecondDuration TimeDuration) Merge.kif 6613-6613
(instance WeekDuration TimeDuration) Merge.kif 7012-7012
(instance YearDuration TimeDuration) Merge.kif 7039-7039
(termFormat ChineseLanguage TimeDuration "持续时间") chinese_format.kif 878-878
(termFormat EnglishLanguage TimeDuration "time duration") english_format.kif 958-958

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


(domain AccelerationFn 2 TimeDuration) Cars.kif 1275-1275
(domain RotationFn 2 TimeDuration) Cars.kif 2104-2104
(domain SpeedFn 2 TimeDuration) Merge.kif 6562-6562
(domain TimeIntervalListFn 2 TimeDuration) Weather.kif 1956-1956
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 13503-13503
(domain VelocityFn 2 TimeDuration) Merge.kif 6573-6573
(domain age 2 TimeDuration) Merge.kif 7423-7423
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 591-591
(domain albumLength 2 TimeDuration) Music.kif 328-328
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 1220-1220
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1192-1192
(domain batchLatency 2 TimeDuration) QoSontology.kif 1186-1186
(domain collectRate 2 TimeDuration) QoSontology.kif 2153-2153
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 862-862
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1250-1250
(domain diseaseIncubation 2 TimeDuration) WMD.kif 1522-1522
(domain diseaseIncubation 3 TimeDuration) WMD.kif 1523-1523
(domain duration 2 TimeDuration) Merge.kif 7807-7807
(domain frequency 2 TimeDuration) Merge.kif 7816-7816
(domain granularity 2 TimeDuration) QoSontology.kif 1509-1509
(domain measuringListDuration 2 TimeDuration) Weather.kif 1874-1874
(domain measuringListInterval 2 TimeDuration) Weather.kif 1856-1856
(domain militaryAge 2 TimeDuration) Military.kif 838-838
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 16385-16385
(domain recordingLength 2 TimeDuration) Music.kif 114-114

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 6304-6308
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?DURATION ?CURR)
        (and
            (instance ?CURR CurrencyMeasure)
            (instance ?DURATION TimeDuration)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 500-506
(=>
    (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
    (exists (?DURATION ?CURR)
        (and
            (instance ?DURATION TimeDuration)
            (instance ?CURR CurrencyMeasure)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 454-460


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