KerML 1.0b3 FTF Avatar
  1. OMG Issue

KERML_ — Transitivity missing for some time/space associations

Open Closed All
  • Key: KERML_-104
  • Status: open  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    Documentation for Within, WithinBoth, and SpaceSliceOf in the specification and libraries say they're transitive, but this isn't formalized in the libraries (might be others), as it is for some other time/space associations.
  • Reported: KerML 1.0b2 — Sat, 31 Aug 2024 18:42 GMT
  • Updated: Sun, 1 Sep 2024 14:25 GMT