| en single level transitive predicate (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
| en equivalence relation (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
| en transitive binary predicate (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
| en transitive binary predicate (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
| en loop terminating transitive predicate (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
| en owl transitive property (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
| en non terminating transitive predicate (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
| en ordering relation (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||