Word: paramodulation
Part of speech: Noun
Syllables: pa
ra
mo
du
la
tion
Definition: A technique for reasoning on sets of clauses where the predicate symbol is equality.
Morphemes:
Affix: para-
Language: en
PoS: Prefix
Meaning: above, beyond
Etymology Compounds: Affix: παρά
Language: grc
Decoded: para
Meaning: beside; next to, near, from; against, contrary to
Affix: module
Language: en
PoS: Noun
Meaning: A unit of education covering a single topic.
Affix: -ate
Language: en
PoS: Suffix
Meaning: characterized by the specified thing
Affix: -ion
Language: en
PoS: Suffix
Meaning: a state or condition
Etymology Compounds: Affix: -iō
Language: la
Decoded: -io
PoS: Suffix
Meaning: Used to form abstract nouns from verbs.