isDiffeomorphicTo

P128195
predicate

Indicates that there exists a smooth, bijective map between two spaces whose inverse is also smooth, so the spaces are equivalent in the sense of differential topology.

All labels observed (1)

Label Occurrences
isDiffeomorphicTo canonical 1

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: isDiffeomorphicTo
Generated description
Indicates that there exists a smooth, bijective map between two spaces whose inverse is also smooth, so the spaces are equivalent in the sense of differential topology.

Sample triples (1)

Subject Object
rotation group SU(2)
surface form: SU(2)
S^3