Breath |
appearance as argument number 1 |
(documentation Breath EnglishLanguage "A single, contiguous, Inhaling and Exhaling.") | Mid-level-ontology.kif 10388-10388 | |
(subclass Breath AutonomicProcess) | Mid-level-ontology.kif 10386-10386 | Breath 是 自主过程 的 subclass |
(subclass Breath OrganismProcess) | Mid-level-ontology.kif 10387-10387 | Breath 是 机体过程 的 subclass |
antecedent |
(=> (instance ?B Breath) (exists (?I ?E) (and (subProcess ?I ?B) (subProcess ?E ?B) (earlier (WhenFn ?I) (WhenFn ?E)) (meetsTemporally (WhenFn ?I) (WhenFn ?E))))) |
Mid-level-ontology.kif 10390-10401 |
consequent |
(=> (breathingRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C Collection) (memberType ?C Breath) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T)))))) |
Mid-level-ontology.kif 10413-10425 |