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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Minute

 Sigma KEE - Minute
Minute

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


(documentation Minute ChineseLanguage "这是所有时钟 Minute 的 Class。") chinese_format.kif 2817-2817
(documentation Minute EnglishLanguage "The Class of all clock Minutes.") Merge.kif 9354-9354
(documentation Minute JapaneseLanguage "すべての丸々 Minute の　Class。") japanese_format.kif 1558-1558
(relatedInternalConcept Minute MinuteDuration) Merge.kif 9352-9352 相關的內部概念 Minute and 分鐘
(relatedInternalConcept Minute MinuteFn) Merge.kif 9351-9351 相關的內部概念 Minute and 分
(subclass Minute TimeInterval) Merge.kif 9350-9350 子類 Minute and TimeInterval

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


(rangeSubclass MinuteFn Minute) Merge.kif 8641-8641 範圍子類 分 and Minute
(termFormat ChineseLanguage Minute "分钟") chinese_format.kif 1299-1299
(termFormat EnglishLanguage Minute "minute") english_format.kif 1815-1815
(termFormat FrenchLanguage Minute "minute") french_format.kif 977-977
(termFormat Hindi Minute "minata") terms-hindi.txt 512-512
(termFormat ItalianLanguage Minute "Minuto") terms-it.txt 516-516
(termFormat JapaneseLanguage Minute "分") japanese_format.kif 2661-2661
(termFormat PortugueseLanguage Minute "Minuto") portuguese_format.kif 929-929
(termFormat cb Minute "minuto") terms-cb.txt 518-518
(termFormat cz Minute "minute") terms-cz.txt 552-552
(termFormat ro Minute "minut") relations-ro.kif 998-998
(termFormat tg Minute "minuto") terms-tg.txt 517-517

appearance as argument number 3
-------------------------


(domainSubclass SecondFn 2 Minute) Merge.kif 8667-8667 域子類 第二, 2 and Minute

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


(=>
    (and
        (breathingRate ?H ?T ?R)
        (instance ?T Minute)
        (not
            (exists (?R)
                (and
                    (instance ?R RecreationOrExercise)
                    (agent ?R ?H)
                    (during ?T
                        (WhenFn ?R)))))
        (holdsDuring ?T
            (attribute ?H HumanAdult))
        (or
            (greaterThan ?R 16)
            (lessThan ?R 12)))
    (holdsDuring ?T
        (not
            (attribute ?H Healthy))))		 Medicine.kif 367-385
(=>
    (and
        (instance ?T Bradycardia)
        (experiencer ?T ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?I Minute)
        (heartRate ?H ?I ?N))
    (greaterThan 50 ?N))		 Medicine.kif 2847-2855
(=>
    (and
        (instance ?T Tachycardia)
        (experiencer ?T ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?I Minute)
        (heartRate ?H ?I ?N))
    (greaterThan ?N 100))		 Medicine.kif 2819-2827
(=>
    (instance ?MINUTE Minute)
    (duration ?MINUTE
        (MeasureFn 1 MinuteDuration)))		 Merge.kif 9356-9358
(=>
    (instance ?MINUTE Minute)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MINUTE Second)) 60))		 Merge.kif 9481-9483

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


(=>
    (and
        (restingBreathingRate ?H ?R)
        (instance ?L Lung)
        (part ?L ?H))
    (exists (?T)
        (and
            (not
                (exists (?REC)
                    (and
                        (instance ?REC RecreationOrExercise)
                        (agent ?REC ?H)
                        (during ?T
                            (WhenFn ?REC)))))
            (instance ?T Minute)
            (breathingRate ?H ?T ?R))))		 Medicine.kif 342-357
(=>
    (and
        (restingHeartRate ?H ?R)
        (instance ?HEART Heart)
        (part ?HEART ?H))
    (exists (?T)
        (and
            (not
                (exists (?REC)
                    (and
                        (instance ?REC RecreationOrExercise)
                        (agent ?REC ?H)
                        (during ?T
                            (WhenFn ?REC)))))
            (instance ?T Minute)
            (heartRate ?H ?T ?R))))		 Medicine.kif 122-136
(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))		 Merge.kif 9477-9479


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