BiologicalAgent(biological agent)
more pictures... |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass biologicalAgentCarrier 1 BiologicalAgent) | WMD.kif 965-965 | The number 1 argument of biological agent carrier is a subclass of biological agent |
| consequent |
|
|
| (=> (instance ?WEAPON BiologicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiologicalAgent) (part ?AGENT ?WEAPON)))) |
WMD.kif 138-143 | If X is an instance of biological weapon, then there exists Y such that Y is an instance of biological agent and Y is a part of X |
|
|