Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ChemicalWeapon(chemical weapon) |  | chemical_weapon |
| appearance as argument number 1 |
|
|
| (subclass ChemicalWeapon BiochemicalWeapon) | WMD.kif 448-448 | Chemical weapon is a subclass of biochemical weapon |
| (documentation ChemicalWeapon EnglishLanguage "Weapons that damage or destroy Organisms by means of a ChemicalAgent.") | WMD.kif 449-450 | Chemical weapon is a subclass of biochemical weapon |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition BiochemicalWeapon BiologicalWeapon ChemicalWeapon) | WMD.kif 102-102 | Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon |
| antecedent |
|
|
| (=> (instance ?WEAPON ChemicalWeapon) (exists (?AGENT) (and (instance ?AGENT ChemicalAgent) (part ?AGENT ?WEAPON)))) |
WMD.kif 452-457 | If X is an instance of chemical weapon, then there exists Y such that Y is an instance of chemical agent and Y is a part of X |
|