MoveToEvac
|
|
appearance as argument number 1 |
(subclass MoveToEvac Transportation) | Medicine.kif 6531-6531 | MoveToEvac è una sottoclasse di Trasporto |
antecedent |
(=> (and (instance ?M MoveToEvac) (objectTransferred ?M ?P)) (hasPurpose ?M (exists (?E) (and (instance ?E Evacuation) (objectTransferred ?E ?P) (earlier (WhenFn ?M) (WhenFn ?E)))))) |
Medicine.kif 6532-6543 |
|