or |
(=> (and (weaponCarryingCapability ?MV ?WC ?COUNT) (instance ?WEAPON ?WC) (capability ?PC ?ROLE ?WEAPON) (or (subclass ?PC Shooting) (subclass ?PC Damaging))) (capability ?PC ?ROLE ?MV)) |
MilitaryDevices.kif 35-43 | |
(=> (or (attribute ?AGENT Asleep) (attribute ?AGENT Awake)) (attribute ?AGENT Living)) |
Merge.kif 18366-18370 | |
(=> (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2)) (beforeOrEqual ?POINT1 ?POINT2)) |
Merge.kif 8173-8177 | |
(=> (or (equal ?DIRECTION North) (equal ?DIRECTION South)) (length (LatitudeFn ?DIRECTION (MeasureFn 0.0 AngularDegree) (MeasureFn 1.0 ArcMinute) (MeasureFn 0.0 ArcSecond)) (MeasureFn 1.0 NauticalMile))) |
Geography.kif 433-440 |
|