![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BacillusAnthracis(bacillus anthracis) | Bacillus_anthracis, anthrax_bacillus |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?X AerosolizedBacillusAnthracis) (exists (?Y) (and (instance ?Y BacillusAnthracis) (part ?Y ?X)))) |
WMD.kif 292-297 | If X is an instance of aerosolized bacillus anthracis, then there exists Y such that Y is an instance of bacillus anthracis and Y is a part of X |
| (=> (attribute ?ORGANISM InhalationalAnthrax) (exists (?ANTHRACIS ?BREATHING) (and (instance ?ANTHRACIS BacillusAnthracis) (instance ?BREATHING Breathing) (agent ?BREATHING ?ORGANISM) (patient ?BREATHING ?ANTHRACIS)))) |
WMD.kif 1146-1153 | If inhalational anthrax is an attribute of X, then there exist Y, Z such that Y is an instance of bacillus anthracis, Z is an instance of breathing, X is an agent of Z, and Y is a patient of Z |