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 "这是任何量度时间的衡量,它可以是是基于通用时间轴的, 也可以是不基于通用时间轴的的。") chinese_format.kif 1781-1782
(documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") Merge.kif 2022-2023
(subclass TimeDuration TimeMeasure) Merge.kif 2020-2020

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


(instance DayDuration TimeDuration) Merge.kif 6874-6874
(instance DecadeDuration TimeDuration) Merge.kif 8399-8399
(instance HourDuration TimeDuration) Merge.kif 6882-6882
(instance MinuteDuration TimeDuration) Merge.kif 6890-6890
(instance MonthDuration TimeDuration) Merge.kif 6907-6907
(instance SecondDuration TimeDuration) Merge.kif 6499-6499
(instance WeekDuration TimeDuration) Merge.kif 6898-6898
(instance YearDuration TimeDuration) Merge.kif 6921-6921
(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 1275-1275
(domain RotationFn 2 TimeDuration) Cars.kif 2104-2104
(domain SpeedFn 2 TimeDuration) Merge.kif 6448-6448
(domain TimeIntervalListFn 2 TimeDuration) Weather.kif 1956-1956
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 13228-13228
(domain VelocityFn 2 TimeDuration) Merge.kif 6459-6459
(domain age 2 TimeDuration) Merge.kif 7305-7305
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 591-591
(domain albumLength 2 TimeDuration) Music.kif 327-327
(domain averagePrecipitationForPeriod 2 TimeDuration) Weather.kif 1221-1221
(domain averageTemperatureForPeriod 2 TimeDuration) Weather.kif 986-986
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1192-1192
(domain batchLatency 2 TimeDuration) QoSontology.kif 1186-1186
(domain collectRate 2 TimeDuration) QoSontology.kif 2154-2154
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 862-862
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1250-1250
(domain duration 2 TimeDuration) Merge.kif 7674-7674
(domain frequency 2 TimeDuration) Merge.kif 7684-7684
(domain granularity 2 TimeDuration) QoSontology.kif 1509-1509
(domain highestTemperatureForPeriod 2 TimeDuration) Weather.kif 998-998
(domain lowestTemperatureForPeriod 2 TimeDuration) Weather.kif 1010-1010
(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 minimumPayment 3 TimeDuration) FinancialOntology.kif 714-714

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 6172-6176
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?DURATION ?CURR)
        (and
            (instance ?CURR CurrencyMeasure)
            (instance ?DURATION TimeDuration)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 496-502
(=>
    (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
    (exists (?DURATION ?CURR)
        (and
            (instance ?DURATION TimeDuration)
            (instance ?CURR CurrencyMeasure)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 450-456


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 3.0 is open source software produced by Articulate Software and its partners