Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  TimeDuration

 Sigma KEE - TimeDuration
TimeDuration(time duration)15_minutes, 30_minutes, Great_Schism, Lower_Paleolithic, Middle_Paleolithic, OWLT, Platonic_year, RTLT, Upper_Paleolithic, aeon, age_norm, air_alert, all-night, anomalistic_month, attention_span, attosecond, bell, biannually, bicentenary, bicentennial, biennially, bimester, bimestrial, biological_time, bit, biweekly, biyearly, centenary, centennial, centennially, civil, climacteric, clocking, clotting_time, cold_snap, cold_spell, command_overhead, command_processing_overhead, command_processing_overhead_time, day, daylong, duple_time, elapsed, eon, extended_time_scale, fast_time_scale, femtosecond, float, fortnight, fortnightly...

appearance as argument number 1
-------------------------


(subclass TimeDuration TimeMeasure) Merge.kif 2183-2183 Time duration is a subclass of time measure
(documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") Merge.kif 2185-2186 Time duration is a subclass of time measure

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


(instance SecondDuration TimeDuration) Merge.kif 6828-6828 Second duration is an instance of time duration
(instance DayDuration TimeDuration) Merge.kif 7203-7203 Day duration is an instance of time duration
(instance HourDuration TimeDuration) Merge.kif 7211-7211 Hour duration is an instance of time duration
(instance MinuteDuration TimeDuration) Merge.kif 7219-7219 Minute duration is an instance of time duration
(instance WeekDuration TimeDuration) Merge.kif 7227-7227 Week duration is an instance of time duration
(instance MonthDuration TimeDuration) Merge.kif 7236-7236 Month duration is an instance of time duration
(instance YearDuration TimeDuration) Merge.kif 7254-7254 Year duration is an instance of time duration
(instance DecadeDuration TimeDuration) Merge.kif 8958-8958 Decade duration is an instance of time duration
(range MTBFInstanceFn TimeDuration) Mid-level-ontology.kif 34357-34357 The range of mean time between failures is an instance of time duration
(termFormat EnglishLanguage TimeDuration "time duration") english_format.kif 962-962 The range of mean time between failures is an instance of time duration

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


(domain SpeedFn 2 TimeDuration) Merge.kif 6777-6777 The number 2 argument of speed is an instance of time duration
(domain VelocityFn 2 TimeDuration) Merge.kif 6788-6788 The number 2 argument of velocity is an instance of time duration
(domain age 2 TimeDuration) Merge.kif 7657-7657 The number 2 argument of age is an instance of time duration
(domain duration 2 TimeDuration) Merge.kif 8077-8077 The number 2 argument of duration is an instance of time duration
(domain frequency 2 TimeDuration) Merge.kif 8086-8086 The number 2 argument of frequency is an instance of time duration
(domain TimePeriodFn 2 TimeDuration) Mid-level-ontology.kif 15638-15638 The number 2 argument of time period function is an instance of time duration
(domain monetaryWage 3 TimeDuration) Mid-level-ontology.kif 18584-18584 The number 3 argument of monetary wage is an instance of time duration
(domain AccelerationFn 2 TimeDuration) Cars.kif 1214-1214 The number 2 argument of Acceleration fn is an instance of time duration
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 760-760 The number 3 argument of periodic payment is an instance of time duration
(domain minimumPayment 3 TimeDuration) FinancialOntology.kif 777-777 The number 3 argument of minimum payment is an instance of time duration
(domain suffrageAgeMinimum 2 TimeDuration) Government.kif 920-920 The number 2 argument of suffrage age minimum is an instance of time duration
(domain suffrageAgeMaximum 2 TimeDuration) Government.kif 992-992 The number 2 argument of suffrage age maximum is an instance of time duration
(domain termLength 3 TimeDuration) Government.kif 1649-1649 The number 3 argument of term length is an instance of time duration
(domain ageOfMajorityForProcess 1 TimeDuration) Law.kif 524-524 The number 1 argument of age of majority for process is an instance of time duration
(domain militaryAge 2 TimeDuration) Military.kif 1102-1102 The number 2 argument of military age is an instance of time duration
(domain recordingLength 2 TimeDuration) Music.kif 114-114 The number 2 argument of recording length is an instance of time duration
(domain albumLength 2 TimeDuration) Music.kif 330-330 The number 2 argument of album length is an instance of time duration
(domain startupTimeDelay 2 TimeDuration) QoSontology.kif 746-746 The number 2 argument of startup time delay is an instance of time duration
(domain settlingTime 2 TimeDuration) QoSontology.kif 810-810 The number 2 argument of settling time is an instance of time duration
(domain softwareHeartBeatRate 2 TimeDuration) QoSontology.kif 1018-1018 The number 2 argument of heart beat rate is an instance of time duration
(domain simpleDeadline 2 TimeDuration) QoSontology.kif 1269-1269 The number 2 argument of simple deadline is an instance of time duration
(domain batchLatency 2 TimeDuration) QoSontology.kif 1277-1277 The number 2 argument of batch latency is an instance of time duration
(domain batchInterArrival 2 TimeDuration) QoSontology.kif 1283-1283 The number 2 argument of batch inter arrival is an instance of time duration
(domain dependencyDelay 2 TimeDuration) QoSontology.kif 1341-1341 The number 2 argument of dependency delay is an instance of time duration
(domain granularity 2 TimeDuration) QoSontology.kif 1615-1615 The number 2 argument of granularity is an instance of time duration

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 6519-6523 If equal X Y(s) and Z and Y is an instance of unit of duration, then Z is an instance of time duration
(=>
    (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
    (exists (?DURATION ?CURR)
        (and
            (instance ?DURATION TimeDuration)
            (instance ?CURR CurrencyMeasure)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))		 Catalog.kif 459-465 If the price of X set by Y according to Z is W, then there exist V, U such that V is an instance of time duration, U is an instance of currency measure, equal W, the per of U, and V
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?DURATION ?CURR)
        (and
            (instance ?CURR CurrencyMeasure)
            (instance ?DURATION TimeDuration)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))		 Catalog.kif 505-511 If X specifies the rental of Y for Z, then there exist W, V such that V is an instance of currency measure, W is an instance of time duration, equal Z, the per of V, and W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners