SUMO View all facts Glossary Help |
Entity > Physical > Process > Motion > Transfer > Substituting |
Substituting | ||||
subject | fact |
Substituting | documentation The Class of Transfers where one thing is replaced with something else | |
has axiom (=> | ||
is a kind of Transfer | ||
Motion | is first domain of path | |
Process | is second domain of causes | |
is second domain of inhibits | ||
is second domain of precondition | ||
is second domain of prevents | ||
is second domain of subProcess |