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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MinuteDuration
MinuteDuration

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

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


(relatedInternalConcept Minute MinuteDuration) Merge.kif 8794-8794
(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
(equal
    (MeasureFn ?NUMBER MinuteDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) SecondDuration))
Merge.kif 6804-6806


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