Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1In2Ra3En4In5Re6En7EnFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ShootingAngle RelationalAttribute) | MilitaryDevices.kif 274-274 | Shooting angle is a subclass of relational attribute |
| (documentation ShootingAngle EnglishLanguage "ShootingAngle is used to describe the whether a Shooting event is held at a high or low angle.") | MilitaryDevices.kif 275-276 | Shooting angle is a subclass of relational attribute |
| (relatedInternalConcept ShootingAngle angleOfFire) | MilitaryDevices.kif 278-278 | Shooting angle is internally related to angle of fire |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?S Shooting) (attribute ?S ?A) (instance ?A ShootingAngle)) (or (instance ?A HighAngleFire) (instance ?A LowAngleFire))) |
MilitaryDevices.kif 280-287 | If X is an instance of shooting, Y is an attribute of X, and Y is an instance of shooting angle, then Y is an instance of high angle fire or Y is an instance of low angle fire |
|