overField

P64881
predicate

Indicates a spatial relationship where one entity is positioned above or extends across the area of a field.

All labels observed (1)

Label Occurrences
overField canonical 13

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: overField
Generated description
Indicates a spatial relationship where one entity is positioned above or extends across the area of a field.

Sample triples (13)

Subject Object
Fermat curve rational numbers ℚ
Fermat curve complex numbers ℂ
Swan constructed counterexamples over the rational numbers Q
Swan constructed counterexamples over the rational numbers rational numbers
rotation group SO(3)
surface form: SO(3)
real numbers
Heisenberg Lie algebra real numbers
Heisenberg Lie algebra complex numbers
special unitary group SU(n)
surface form: SU(n)
complex numbers ℂ
general linear group GL(n,C)
surface form: GL(n,ℂ)
Golay code finite field
Golay code
surface form: binary Golay code
GF(2) NERFINISHED
Golay code
surface form: ternary Golay code
GF(3)
SL(2,R) R