| Substituting(substituting) | | ablactation, airing, alternate, change, change_over, commutation, commute, convert, correlative, crossing_over, crossover, displace, displacement, exchange, fill_in, float, interchange, metathesis, novate, novation, oil_change, oust, permutation, pitching_change, preempt, rectify, replace, replacement, replacing, represent, reprieve, rotate, shift, stand_for, stand_in, sub, subbing, subrogate, subrogation, substitute, substituting, substitution, supercede, supersede, supersedure, supersession, supervene_upon, supplant, supplanting, switch... |
| appearance as argument number 1 |
|
|
| (subclass Substituting Transfer) | Merge.kif 11618-11618 | Substituting is a subclass of transfer |
| (subclass Substituting DualObjectProcess) | Merge.kif 11619-11619 | Substituting is a subclass of dual object process |
| (documentation Substituting EnglishLanguage "The Class of Transfers where one thing is replaced with something else.") | Merge.kif 11621-11622 | Substituting is a subclass of dual object process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Substituting "substituting") | english_format.kif 1465-1465 |
| antecedent |
|
|
| (=> (instance ?SUB Substituting) (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE) (and (instance ?PUT Putting) (instance ?REMOVE Removing) (subProcess ?PUT ?SUB) (subProcess ?REMOVE ?SUB) (patient ?REMOVE ?OBJ1) (origin ?REMOVE ?PLACE) (patient ?PUT ?OBJ2) (destination ?PUT ?PLACE) (not (equal ?OBJ1 ?OBJ2))))) |
Merge.kif 11624-11636 | If X is an instance of substituting, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of putting (3) Z is an instance of removing (4) Y is a subprocess of X (5) Z is a subprocess of X (6) W is a patient of Z (7) Z originates at U (8) V is a patient of Y (9) Y ends up at U (10) equal W (11) V |
|
|
|