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

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


(documentation MinuteDuration ChineseLanguage "这是时间单位,1分钟 = 60秒。 ") chinese_format.kif 2581-2581
(documentation MinuteDuration EnglishLanguage "Time unit. 1 minute = 60 seconds. ") Merge.kif 6802-6802
(instance MinuteDuration UnitOfDuration) Merge.kif 6800-6800 Minute duration is an instance of UnitOfDuration

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


(relatedInternalConcept Minute MinuteDuration) Merge.kif 8794-8794 Minute is internally related to minute duration
(termFormat ChineseLanguage MinuteDuration "分钟") domainEnglishFormat.kif 37870-37870
(termFormat ChineseTraditionalLanguage MinuteDuration "分鐘") domainEnglishFormat.kif 37869-37869
(termFormat EnglishLanguage MinuteDuration "minute duration") domainEnglishFormat.kif 37868-37868

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 2333-2367
(=>
    (instance ?MINUTE Minute)
    (duration ?MINUTE
        (MeasureFn 1 MinuteDuration)))
Merge.kif 8798-8800

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


(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))
Merge.kif 6796-6798 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 6804-6806 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 3.0 is open source software produced by Articulate Software and its partners