en loop terminating transitive predicate (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
en single level transitive predicate (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 | ||
en asymmetric binary predicate (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
en antisymmetric binary predicate (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 |