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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - 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 9475-9475
(documentation Minute JapaneseLanguage "すべての丸々 Minute の Class。") japanese_format.kif 1558-1558
(relatedInternalConcept Minute MinuteDuration) Merge.kif 9473-9473 MinuteDurationinternally 関連して
(relatedInternalConcept Minute MinuteFn) Merge.kif 9472-9472 MinuteFninternally 関連して
(subclass Minute TimeInterval) Merge.kif 9471-9471 時間間隔subclass では

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


(rangeSubclass MinuteFn Minute) Merge.kif 8739-8739 MinuteFn が返す値は subclasses では
(termFormat ChineseLanguage Minute "分钟") chinese_format.kif 1299-1299 MinuteFn が返す値は subclasses では
(termFormat EnglishLanguage Minute "minute") english_format.kif 1815-1815 MinuteFn が返す値は subclasses では
(termFormat FrenchLanguage Minute "minute") french_format.kif 977-977 MinuteFn が返す値は subclasses では
(termFormat Hindi Minute "minata") terms-hindi.txt 512-512 MinuteFn が返す値は subclasses では
(termFormat ItalianLanguage Minute "Minuto") terms-it.txt 516-516 MinuteFn が返す値は subclasses では
(termFormat JapaneseLanguage Minute "分") japanese_format.kif 2661-2661 MinuteFn が返す値は subclasses では
(termFormat PortugueseLanguage Minute "Minuto") portuguese_format.kif 929-929 MinuteFn が返す値は subclasses では
(termFormat cb Minute "minuto") terms-cb.txt 518-518 MinuteFn が返す値は subclasses では
(termFormat cz Minute "minute") terms-cz.txt 552-552 MinuteFn が返す値は subclasses では
(termFormat de Minute "Minute") terms-de.txt 811-811 MinuteFn が返す値は subclasses では
(termFormat ro Minute "minut") relations-ro.kif 998-998 MinuteFn が返す値は subclasses では
(termFormat tg Minute "minuto") terms-tg.txt 517-517 MinuteFn が返す値は subclasses では

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


(domainSubclass SecondFn 2 Minute) Merge.kif 8765-8765 SecondFn の数値 2 引数は subclass では

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 9477-9479
(=>
    (instance ?MINUTE Minute)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MINUTE Second)) 60))
Merge.kif 9602-9604

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 9598-9600


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