| appearance as argument number 1 |
|
| (subclass Checkout Process) | UXExperimentalTerms.kif 1457-1457 | Checkout is a subclass of process |
| (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 | 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 | If X is an instance of checkout, then there exists Y such that Y is an instance of buying, X is a subprocess of Y, there doesn't exist Z such that Z is a subprocess of Y, and the time of existence of X happens earlier than the time of existence of Z |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners