Knext

Query Results: Convert.v (page 475)

13,335 results in the active KB.

A course may be converted to a course.
Logical form
Learned from
2 sentences.
A catalog may be converted to form.
Logical form
Learned from
2 sentences.
(Floating-point values) may convert to values.
Logical form
Learned from
2 sentences.
A function may convert a specification to a format.
Logical form
Learned from
2 sentences.
A selection may be converted to a (target type).
Logical form
Learned from
2 sentences.
A setxkbcomp may convert names to names of xkbing (configuration files).
Logical form
Learned from
2 sentences.
A (cell name) may be converted to uppercase.
Logical form
Learned from
2 sentences.
(Wrap definitions. pswrap) may convert (wrap definitions) to procedures.
Logical form
Learned from
2 sentences.
A (keymap compiler) may convert a description of a keymap.
Logical form
Learned from
2 sentences.
A macro may convert alien to an alien.
Logical form
Learned from
2 sentences.
Floats may be converted to floats.
Logical form
Learned from
2 sentences.
Aliens of types may be converted.
Logical form
Learned from
2 sentences.
A system may convert objects.
Logical form
Learned from
2 sentences.
Types may convert fields of records.
Logical form
Learned from
2 sentences.
A penalty can be for converting a character.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-10-17.