Checkout(checkout) |
appearance as argument number 1 |
(documentation Checkout EnglishLanguage "The final subProcess of a Buying - i.e. there does not exist any subProcess of the Buying of which the Checkout is a subProcess that where the Checkout occurs earier.") | UXExperimentalTerms.kif 1459-1461 | |
(subclass Checkout Process) | UXExperimentalTerms.kif 1457-1457 | Checkout is a subclass of process |
appearance as argument number 2 |
(termFormat EnglishLanguage Checkout "checkout") | UXExperimentalTerms.kif 1463-1463 |
antecedent |
(=> (instance ?CHECKOUT Checkout) (exists (?BUYING) (and (instance ?BUYING Buying) (subProcess ?CHECKOUT ?BUYING) (not (exists (?PROCESS) (and (subProcess ?PROCESS ?BUYING) (earlier (WhenFn ?CHECKOUT) (WhenFn ?PROCESS)))))))) |
UXExperimentalTerms.kif 1465-1475 |
|