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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Minute
Minute(minute)

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


(documentation Minute ChineseLanguage "这是所有时钟 MinuteClass。") chinese_format.kif 2817-2817
(documentation Minute EnglishLanguage "The Class of all clock Minutes.") Merge.kif 9490-9490
(documentation Minute JapaneseLanguage "すべての丸々 Minute の Class。") japanese_format.kif 1558-1558
(relatedInternalConcept Minute MinuteDuration) Merge.kif 9488-9488 Minute is internally related to minute duration
(relatedInternalConcept Minute MinuteFn) Merge.kif 9487-9487 Minute is internally related to minute
(subclass Minute TimeInterval) Merge.kif 9486-9486 Minute is a subclass of time interval

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


(rangeSubclass MinuteFn Minute) Merge.kif 8754-8754 The values returned by minute are subclasses of minute
(termFormat ChineseLanguage Minute "分钟") chinese_format.kif 1299-1299 The values returned by minute are subclasses of minute
(termFormat EnglishLanguage Minute "minute") english_format.kif 1815-1815 The values returned by minute are subclasses of minute
(termFormat FrenchLanguage Minute "minute") french_format.kif 977-977 The values returned by minute are subclasses of minute
(termFormat Hindi Minute "minata") terms-hindi.txt 512-512 The values returned by minute are subclasses of minute
(termFormat ItalianLanguage Minute "Minuto") terms-it.txt 516-516 The values returned by minute are subclasses of minute
(termFormat JapaneseLanguage Minute "分") japanese_format.kif 2661-2661 The values returned by minute are subclasses of minute
(termFormat PortugueseLanguage Minute "Minuto") portuguese_format.kif 929-929 The values returned by minute are subclasses of minute
(termFormat cb Minute "minuto") terms-cb.txt 518-518 The values returned by minute are subclasses of minute
(termFormat cz Minute "minute") terms-cz.txt 552-552 The values returned by minute are subclasses of minute
(termFormat de Minute "Minute") terms-de.txt 811-811 The values returned by minute are subclasses of minute
(termFormat ro Minute "minut") relations-ro.kif 998-998 The values returned by minute are subclasses of minute
(termFormat tg Minute "minuto") terms-tg.txt 517-517 The values returned by minute are subclasses of minute

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


(domainSubclass SecondFn 2 Minute) Merge.kif 8780-8780 The number 2 argument of second is a subclass of 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 355-373
(=>
    (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 2848-2856
(=>
    (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 2820-2828
(=>
    (instance ?MINUTE Minute)
    (duration ?MINUTE
        (MeasureFn 1 MinuteDuration)))
Merge.kif 9492-9494
(=>
    (instance ?MINUTE Minute)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MINUTE Second)) 60))
Merge.kif 9617-9619

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 330-345
(=>
    (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 9613-9615


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