Assertion: loom | /r/HasAspect | formal semantics
Facets:
value: as with kl-one
type: OTHER
Source sentences:
text: As with KL-ONE, Loom has a formal semantics that maps declarations in Loom to statements in set theory and First Order Logic.