en:formalen
https://en-word.net- adj.⦿logically deductivelexical concept
- formal proof
Semantic relations
or learn more about the individual relations.
! Data may be omitted; view table for full details.
Lexical context
| wn: | part of speech | adjective satellite |
| ∴ontolex: | lexicalized sense | enl:formal |
External links
| wn: | interlingual index | ili:i7815 |
Other
| skos: | is in scheme | Open English WordNet |
| rdfs: | label | formal |