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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 6043-6046
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6041-6041

appearance as argument number 2

(instance CenturyDuration UnitOfDuration) Mid-level-ontology.kif 15600-15600
(instance DayDuration UnitOfDuration) Merge.kif 6803-6803
(instance DecadeDuration UnitOfDuration) Merge.kif 8244-8244
(instance HourDuration UnitOfDuration) Merge.kif 6811-6811
(instance MillenniumDuration UnitOfDuration) Mid-level-ontology.kif 10468-10468
(instance MinuteDuration UnitOfDuration) Merge.kif 6819-6819
(instance MonthDuration UnitOfDuration) Merge.kif 6836-6836
(instance SecondDuration UnitOfDuration) Merge.kif 6428-6428
(instance WeekDuration UnitOfDuration) Merge.kif 6827-6827
(instance YearDuration UnitOfDuration) Merge.kif 6850-6850


            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfDuration))
    (instance ?QUANT TimeDuration))
Merge.kif 6102-6106
        (instance ?SF SpeakingAtAFasterRate)
        (instance ?SS SpeakingAtASlowerRate)
        (instance ?U UnitOfDuration)
        (agent ?SF ?A)
        (agent ?SS ?A)
        (containsInformation ?SF ?I)
        (containsInformation ?SS ?I)
            (WhenFn ?SF)
            (MeasureFn ?FAST ?U))
            (WhenFn ?SS)
            (MeasureFn ?SLOW ?U)))
    (greaterThan ?FAST ?SLOW))
emotion.kif 1926-1939
        (instance ?SS SpeakingAShortUtterance)
        (instance ?SL SpeakingALongUtterance)
        (instance ?U UnitOfDuration)
            (WhenFn ?SS)
            (MeasureFn ?D1 ?U))
            (WhenFn ?SL)
            (MeasureFn ?D2 ?U)))
    (greaterThan ?D2 ?D1))
emotion.kif 2014-2023
        (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)
                (during ?TIMEINT ?X)
                (instance ?X TimeInterval)
                (duration ?X
                    (MeasureFn ?DURATION ?U))
                (lessThanOrEqualTo ?DURATION ?TIME))
            (exists (?P)
                    (instance ?P Payment)
                    (destination ?P ?AGENT)
                    (agent ?P ?CUSTOMER)
                    (transactionAmount ?P ?PRICE))))))
Catalog.kif 458-483
        (topSpeed ?V
            (MeasureFn ?Q ?CU))
        (instance ?CU CompositeUnitOfMeasure)
        (instance ?UL UnitOfLength)
        (instance ?UD UnitOfDuration)
        (equal ?FASTPROB
                (measure ?V
                        (MeasureFn ?L1 ?UL)
                        (MeasureFn ?T1 ?UD)))))
        (equal ?SLOWPROB
                (measure ?V
                        (MeasureFn ?L2 ?UL)
                        (MeasureFn ?T2 ?UD)))))
            (SpeedFn ?L1 ?T1) ?Q)
        (greaterThan ?Q
            (SpeedFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))
Transportation.kif 1726-1744


        (subjectiveAttribute ?AGENT1 Quick ?PERSON)
        (subjectiveAttribute ?AGENT2 Slow ?PERSON)
        (instance ?PROCESS1 ?CLASS)
        (instance ?PROCESS2 ?CLASS)
        (subclass ?CLASS Process)
        (agent ?PROCESS1 ?AGENT1)
        (agent ?PROCESS2 ?AGENT2))
        (instance ?U UnitOfDuration)
            (WhenFn ?PROCESS1)
            (MeasureFn ?TIME1 ?U))
            (WhenFn ?PROCESS2)
            (MeasureFn ?TIME2 ?U))
        (greaterThan ?TIME2 ?TIME1)))
Dining.kif 997-1012

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