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。注: TimeDurationTimeMeasure 的一个 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 6245-6248
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6243-6243 UnitOfDuration is a subclass of NonCompositeUnitOfMeasure

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


(instance CenturyDuration UnitOfDuration) Mid-level-ontology.kif 18432-18432 CenturyDuration is an instance of UnitOfDuration
(instance DayDuration UnitOfDuration) Merge.kif 6987-6987 Day duration is an instance of UnitOfDuration
(instance DecadeDuration UnitOfDuration) Merge.kif 8657-8657 DecadeDuration is an instance of UnitOfDuration
(instance HourDuration UnitOfDuration) Merge.kif 6995-6995 Hour duration is an instance of UnitOfDuration
(instance MillenniumDuration UnitOfDuration) Mid-level-ontology.kif 13146-13146 MillenniumDuration is an instance of UnitOfDuration
(instance MinuteDuration UnitOfDuration) Merge.kif 7003-7003 Minute duration is an instance of UnitOfDuration
(instance MonthDuration UnitOfDuration) Merge.kif 7020-7020 Month duration is an instance of UnitOfDuration
(instance SecondDuration UnitOfDuration) Merge.kif 6612-6612 Second duration is an instance of UnitOfDuration
(instance WeekDuration UnitOfDuration) Merge.kif 7011-7011 Week duration is an instance of UnitOfDuration
(instance YearDuration UnitOfDuration) Merge.kif 7038-7038 Year duration is an instance of UnitOfDuration

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfDuration))
    (instance ?QUANT TimeDuration))
Merge.kif 6304-6308
(=>
    (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)
        (possesses ?OBJ ?AGENT)
        (agent ?R ?CUSTOMER)
        (time ?R ?TIMEINT))
    (forall (?X)
        (=>
            (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 462-487
(=>
    (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 1726-1744

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 997-1012


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