Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__6Fn__0En1En2Ra3In4In5En6EnFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Breath AutonomicProcess) | Mid-level-ontology.kif 11810-11810 | Breath is a subclass of autonomic process |
| (subclass Breath OrganismProcess) | Mid-level-ontology.kif 11811-11811 | Breath is a subclass of organism process |
| (documentation Breath EnglishLanguage "A single, contiguous, Inhaling and Exhaling.") | Mid-level-ontology.kif 11813-11813 | Breath is a subclass of organism process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Breath "breath") | Mid-level-ontology.kif 11812-11812 |
| 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 11815-11826 | If X is an instance of breath, then there exist Y, Z such that Y is a subprocess of X, Z is a subprocess of X, the time of existence of Y happens earlier than the time of existence of Z, and the time of existence of Y meets the time of existence of Z |
| consequent |
|
|
| (=> (breathingRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C CollectionOfProcesses) (memberType ?C Breath) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T)))))) |
Mid-level-ontology.kif 11839-11851 | If X breathes at a rate of Y breaths per Z, then there exist W, V such that W is an instance of collection, breath is a member type of W, Y is a member count of W, V is a member of WX is a patient of V, and the time of existence of V takes place during Z |
|