en mod distributing over conj (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
en closed under consequences rc (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 |