SUMO View all facts Glossary Help |
unparented > ImmediateFutureFn(WhenFn |
ImmediateFutureFn(WhenFn comparison table |
Subject | have axiom |
---|---|
unparented | |
ImmediateFutureFn(WhenFn | (<=> |
Next unparented: ImmediatePastFn(WhenFn Up: unparented Previous unparented: height