canExtractTo

P129096
predicate

Indicates that one entity is capable of being extracted, converted, or exported into another specified format, location, or representation.

All labels observed (1)

Label Occurrences
canExtractTo canonical 3

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: canExtractTo
Generated description
Indicates that one entity is capable of being extracted, converted, or exported into another specified format, location, or representation.

Sample triples (3)

Subject Object
Coq OCaml NERFINISHED
Coq Haskell NERFINISHED
Coq Scheme