| 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 9447-9447 | |
| (documentation Minute JapaneseLanguage "すべての丸々 Minute の Class。") | japanese_format.kif 1558-1558 | |
| (relatedInternalConcept Minute MinuteDuration) | Merge.kif 9445-9445 | |
| (relatedInternalConcept Minute MinuteFn) | Merge.kif 9444-9444 | |
| (subclass Minute TimeInterval) | Merge.kif 9443-9443 |
| appearance as argument number 2 |
|
|
| (rangeSubclass MinuteFn Minute) | Merge.kif 8711-8711 | |
| (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 de Minute "Minute") | terms-de.txt 811-811 | |
| (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 8737-8737 |
| 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 2832-2840 | |
| (=> (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 2804-2812 | |
| (=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration))) |
Merge.kif 9449-9451 | |
| (=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60)) |
Merge.kif 9574-9576 |
| 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 9570-9572 |
|
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