| appearance as argument number 1 |
|
| (documentation Breath EnglishLanguage "A single, contiguous, Inhaling and Exhaling.") | Mid-level-ontology.kif 11691-11691 | |
| (subclass Breath AutonomicProcess) | Mid-level-ontology.kif 11688-11688 | |
| (subclass Breath OrganismProcess) | Mid-level-ontology.kif 11689-11689 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Breath "breath") | Mid-level-ontology.kif 11690-11690 |
| 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 11693-11704 |
| 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 11717-11729 |
|
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