Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CommunitySpread(community spread) |
| appearance as argument number 1 |
|
| (subclass CommunitySpread Infecting) | Medicine.kif 3219-3219 | Community spread is a subclass of infecting |
| (documentation CommunitySpread EnglishLanguage "Community transmission means that the source of infection for the spread of an illness is unknown or a link in terms of contacts between patients and other people is missing. It refers to the difficulty in grasping the epidemiological link in the community beyond confirmed cases.[from Wikipedia]") | Medicine.kif 3220-3225 | Community spread is a subclass of infecting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CommunitySpread "community spread") | Medicine.kif 3226-3226 |
| antecedent |
|
|
| (=> (instance ?C CommunitySpread) (not (exists (?H) (knows ?H (exists (?N) (and (origin ?C ?H) (names ?N ?H))))))) |
Medicine.kif 3228-3236 | If X is an instance of community spread, then there doesn't exist Y such that Y knows there exists Z such that X originates at Y and Y has name Z |
|