Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MilitarySupportVehicle(military support vehicle) |
| appearance as argument number 1 |
|
| (documentation MilitarySupportVehicle EnglishLanguage "Vehicles meant to be used for support, rather than combat in a military context.") | Military.kif 462-463 | |
| (subclass MilitarySupportVehicle MilitaryVehicle) | Military.kif 464-464 | Military support vehicle is a subclass of military vehicle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?MV MilitarySupportVehicle) (hasPurpose ?MV (exists (?P) (and (instance ?P MilitaryProcess) (involvedInEvent ?P ?MV) (not (exists (?A) (and (instance ?A ViolentContest) (instrument ?A ?MV)))))))) |
Military.kif 466-477 | If X is an instance of military support vehicle, then X has the purpose there exists Y such that Y is an instance of military process, X is an involved in event of Y, there doesn't exist Z such that Z is an instance of violent contest, and X is an instrument for Z |
|