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


KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfDuration
UnitOfDuration(unit of duration)

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


(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6458-6458 Unit of duration is a subclass of non composite unit of measure
(documentation UnitOfDuration EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of TimeDuration. Note that TimeDuration is a subclass of TimeMeasure.") Merge.kif 6460-6463 Unit of duration is a subclass of non composite unit of measure

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


(instance SecondDuration UnitOfDuration) Merge.kif 6827-6827 Second duration is an instance of unit of duration
(instance DayDuration UnitOfDuration) Merge.kif 7202-7202 Day duration is an instance of unit of duration
(instance HourDuration UnitOfDuration) Merge.kif 7210-7210 Hour duration is an instance of unit of duration
(instance MinuteDuration UnitOfDuration) Merge.kif 7218-7218 Minute duration is an instance of unit of duration
(instance WeekDuration UnitOfDuration) Merge.kif 7226-7226 Week duration is an instance of unit of duration
(instance MonthDuration UnitOfDuration) Merge.kif 7235-7235 Month duration is an instance of unit of duration
(instance YearDuration UnitOfDuration) Merge.kif 7253-7253 Year duration is an instance of unit of duration
(instance DecadeDuration UnitOfDuration) Merge.kif 8957-8957 Decade duration is an instance of unit of duration
(instance MillenniumDuration UnitOfDuration) Mid-level-ontology.kif 15275-15275 Millennium is an instance of unit of duration
(instance CenturyDuration UnitOfDuration) Mid-level-ontology.kif 20998-20998 Century duration is an instance of unit of duration
(termFormat EnglishLanguage UnitOfDuration "unit of duration") domainEnglishFormat.kif 65658-65658 Century duration is an instance of unit of duration

antecedent
-------------------------


(=>
    (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
(=>
    (and
        (topSpeed ?V
            (MeasureFn ?Q ?CU))
        (instance ?CU CompositeUnitOfMeasure)
        (instance ?UL UnitOfLength)
        (instance ?UD UnitOfDuration)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L1 ?UL)
                        (MeasureFn ?T1 ?UD)))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L2 ?UL)
                        (MeasureFn ?T2 ?UD)))))
        (greaterThan
            (SpeedFn ?L1 ?T1) ?Q)
        (greaterThan ?Q
            (SpeedFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))		 Transportation.kif 1873-1891 If All of the following hold: (1) the top speed of X is Y Z(s) (2) Z is an instance of composite unit of measure (3) W is an instance of unit of length (4) V is an instance of unit of duration (5) equal U and the probability of the measure of X is T W(s) per S V(s) (6) equal R and the probability of the measure of X is Q W(s) per P V(s) (7) T per S is greater than Y (8) Y is greater than Q per P, then R is greater than U
(=>
    (and
        (instance ?SF SpeakingAtAFasterRate)
        (instance ?SS SpeakingAtASlowerRate)
        (instance ?U UnitOfDuration)
        (agent ?SF ?A)
        (agent ?SS ?A)
        (containsInformation ?SF ?I)
        (containsInformation ?SS ?I)
        (duration
            (WhenFn ?SF)
            (MeasureFn ?FAST ?U))
        (duration
            (WhenFn ?SS)
            (MeasureFn ?SLOW ?U)))
    (greaterThan ?FAST ?SLOW))		 emotion.kif 2871-2884 If All of the following hold: (1) X is an instance of speaking at a faster rate (2) Y is an instance of speaking at a slower rate (3) Z is an instance of unit of duration (4) W is an agent of X (5) W is an agent of Y (6) X contains information V (7) Y contains information V (8) duration of the time of existence of X is U Z(s) (9) duration of the time of existence of Y is T Z(s), then U is greater than T
(=>
    (and
        (instance ?SS SpeakingAShortUtterance)
        (instance ?SL SpeakingALongUtterance)
        (instance ?U UnitOfDuration)
        (duration
            (WhenFn ?SS)
            (MeasureFn ?D1 ?U))
        (duration
            (WhenFn ?SL)
            (MeasureFn ?D2 ?U)))
    (greaterThan ?D2 ?D1))		 emotion.kif 2957-2966 If X is an instance of speaking a short utterance, Y is an instance of speaking a long utterance, Z is an instance of unit of duration, duration of the time of existence of X is W Z(s), and duration of the time of existence of Y is V Z(s), then V is greater than W

consequent
-------------------------


(=>
    (and
        (subjectiveAttribute ?AGENT1 Quick ?PERSON)
        (subjectiveAttribute ?AGENT2 Slow ?PERSON)
        (instance ?PROCESS1 ?CLASS)
        (instance ?PROCESS2 ?CLASS)
        (subclass ?CLASS Process)
        (agent ?PROCESS1 ?AGENT1)
        (agent ?PROCESS2 ?AGENT2))
    (and
        (instance ?U UnitOfDuration)
        (duration
            (WhenFn ?PROCESS1)
            (MeasureFn ?TIME1 ?U))
        (duration
            (WhenFn ?PROCESS2)
            (MeasureFn ?TIME2 ?U))
        (greaterThan ?TIME2 ?TIME1)))		 Dining.kif 1047-1062 If All of the following hold: (1) X believes Y is quick (2) X believes Z is slow (3) W is an instance of V (4) U is an instance of V (5) V is a subclass of process (6) Y is an agent of W (7) Z is an agent of U, then T is an instance of unit of duration, duration of the time of existence of W is S T(s), duration of the time of existence of U is R T(s), and R is greater than S


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