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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfDuration

 Sigma KEE - UnitOfDuration
UnitOfDuration

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


(documentation UnitOfDuration ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 TimeDuration 实例的 UnitOfMeasure。注： TimeDuration 是 TimeMeasure 的一个 subclass。") chinese_format.kif 2431-2433
(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 6341-6344
(documentation UnitOfDuration JapaneseLanguage "この Class のすべてのインスタンスは UnitOfMeasure で、MeasureFn と共に TimeDuration のインスタンスを形成するのに使用できる。 注：TimeDuration は TimeMeasure の subclass である。") japanese_format.kif 1122-1124
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6339-6339 UnitOfDuration est une sous-classe de NonCompositeUnitOfMeasure

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


(instance CenturyDuration UnitOfDuration) Mid-level-ontology.kif 19061-19061 CenturyDuration est une instance de UnitOfDuration
(instance DayDuration UnitOfDuration) Merge.kif 7083-7083 DayDuration est une instance de UnitOfDuration
(instance DecadeDuration UnitOfDuration) Merge.kif 8755-8755 DecadeDuration est une instance de UnitOfDuration
(instance HourDuration UnitOfDuration) Merge.kif 7091-7091 HourDuration est une instance de UnitOfDuration
(instance MillenniumDuration UnitOfDuration) Mid-level-ontology.kif 13680-13680 MillenniumDuration est une instance de UnitOfDuration
(instance MinuteDuration UnitOfDuration) Merge.kif 7099-7099 MinuteDuration est une instance de UnitOfDuration
(instance MonthDuration UnitOfDuration) Merge.kif 7116-7116 MonthDuration est une instance de UnitOfDuration
(instance SecondDuration UnitOfDuration) Merge.kif 6708-6708 SecondDuration est une instance de UnitOfDuration
(instance WeekDuration UnitOfDuration) Merge.kif 7107-7107 WeekDuration est une instance de UnitOfDuration
(instance YearDuration UnitOfDuration) Merge.kif 7134-7134 YearDuration est une instance de UnitOfDuration
(termFormat EnglishLanguage UnitOfDuration "unit of duration") domainEnglishFormat.kif 65655-65655

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfDuration))
    (instance ?QUANT TimeDuration))		 Merge.kif 6400-6404
(=>
    (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 2016-2029
(=>
    (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 2104-2113
(=>
    (and
        (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
        (equal ?QUANT
            (PerFn ?PRICE
                (measure ?TIME ?U)))
        (instance ?U UnitOfDuration)
        (immediateInstance ?ITEM ?OBJ)
        (instance ?R Renting)
        (patient ?R ?ITEM)
        (agent ?R ?CUSTOMER)
        (time ?R ?TIMEINT))
    (forall (?X)
        (=>
            (exists (?DURATION)
                (and
                    (during ?TIMEINT ?X)
                    (instance ?X TimeInterval)
                    (duration ?X
                        (MeasureFn ?DURATION ?U))
                    (lessThanOrEqualTo ?DURATION ?TIME)))
            (exists (?P)
                (and
                    (instance ?P Payment)
                    (destination ?P ?AGENT)
                    (agent ?P ?CUSTOMER)
                    (transactionAmount ?P ?PRICE))))))		 Catalog.kif 467-492
(=>
    (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 1718-1736

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 1044-1059


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