| 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 | ||