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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MinuteDuration
MinuteDuration(minute duration)min, minute, minute_duration, 分鐘, 分钟

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


(documentation MinuteDuration ChineseLanguage "这是时间单位,1分钟 = 60秒。 ") Merge.kif 10360-10360
(documentation MinuteDuration EnglishLanguage "Time unit. 1 minute = 60 seconds. ") Merge.kif 10358-10358
(documentation MinuteDuration JapaneseLanguage "時間単位。1分 = 60秒。 ") Merge.kif 10362-10362
(instance MinuteDuration UnitOfDuration) Merge.kif 10356-10356 Minute duration is an instance of UnitOfDuration

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


(relatedInternalConcept Minute MinuteDuration) Merge.kif 13017-13017 Minute is internally related to minute duration
(termFormat ChineseLanguage MinuteDuration "分钟") domainEnglishFormat.kif 37873-37873 "分钟" is the printable form of minute duration in ChineseLanguage
(termFormat ChineseTraditionalLanguage MinuteDuration "分鐘") domainEnglishFormat.kif 37872-37872 "分鐘" is the printable form of minute duration in ChineseTraditionalLanguage
(termFormat EnglishLanguage MinuteDuration "minute duration") domainEnglishFormat.kif 37871-37871 "minute duration" is the printable form of minute duration in english language

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


(=>
    (instance ?AT AutomobileTransmission)
    (hasPurpose ?AT
        (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
            (and
                (instance ?C Crankshaft)
                (instance ?D Driveshaft)
                (instance ?A Automobile)
                (part ?D ?A)
                (part ?AT ?A)
                (part ?C ?A)
                (connectedEngineeringComponents ?C ?AT)
                (connectedEngineeringComponents ?D ?AT)
                (instance ?R1 Rotating)
                (instance ?R2 Rotating)
                (instance ?R3 Rotating)
                (instance ?R4 Rotating)
                (patient ?R1 ?C)
                (patient ?R2 ?C)
                (patient ?R3 ?D)
                (patient ?R4 ?D)
                (causes ?R1 ?R3)
                (causes ?R2 ?R4)
                (not
                    (equal ?R1 ?R2))
                (holdsDuring ?R1
                    (measure ?C
                        (RotationFn ?N1 MinuteDuration)))
                (holdsDuring ?R2
                    (measure ?C
                        (RotationFn ?N1 MinuteDuration)))
                (holdsDuring ?R3
                    (measure ?D
                        (RotationFn ?N2 MinuteDuration)))
                (holdsDuring ?R4
                    (measure ?D
                        (RotationFn ?N3 MinuteDuration)))
                (not
                    (equal ?N2 ?N3))))))
Cars.kif 2332-2366
(=>
    (instance ?MINUTE Minute)
    (duration ?MINUTE
        (MeasureFn 1 MinuteDuration)))
Merge.kif 13025-13027

statement
-------------------------


(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))
Merge.kif 10352-10354 A real number hour duration(s) is equal to the real number and 60 minute duration(s)
(equal
    (MeasureFn ?NUMBER MinuteDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) SecondDuration))
Merge.kif 10364-10366 A real number minute duration(s) is equal to the real number and 60 second duration(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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners