Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CollectionOfProcesses(collection) |
| appearance as argument number 1 |
|
| (subclass CollectionOfProcesses Collection) | Merge.kif 1386-1386 | Collection is a subclass of collection |
| (documentation CollectionOfProcesses EnglishLanguage "a Collectionsthat has Processes as members.") | Merge.kif 1387-1388 | Collection is a subclass of collection |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?COLL CollectionOfProcesses) (memberType ?COLL Process)) |
Merge.kif 1390-1392 | If X is an instance of collection, then process is a member type of X |
| consequent |
|
|
| (=> (heartRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C CollectionOfProcesses) (memberType ?C HeartBeat) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T)))))) |
Mid-level-ontology.kif 11796-11808 | If X beats at a rate of Y beats per Z, then there exist W, V such that W is an instance of collection, heart beat 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 |
| (=> (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 |
|