Warning: session_start(): open(/var/lib/php/sessions/sess_k02shrptce6l8u3psug5a5kpd9, O_RDWR) failed: No space left on device (28) in /lemon-model.net/htdocs/lexica/uby/WktEN/header.htmlfrag on line 1

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /lemon-model.net/htdocs/lexica/uby/WktEN/header.htmlfrag on line 1
Lemon - Lexicon Model for Ontologies
Log In
Search resources

WktEN_sense_30034   

Instance of: lemon:LexicalSense
Property Value
lemon:definition Statement1
rdf:type lemon:SenseDefinition
lemon:value eng “< Latin formula (“a small pattern or mold, form, rule, principle, method, formula”), diminutive of forma (“a form”); see form.”
lemon:value eng “A syntactic expression of a proposition, built up from quantifiers, logical connectives, variables, relation and operation symbols, and, depending on the type of logic, possibly other operators such as modal, temporal, deontic or epistemic ones.”
uby:definitionType “intensionalDefinition”
uby:statementType “etymology”
uby:index “6”
uby:monolingualExternalRef MonolingualExternalRef1
rdf:type uby:MonolingualExternalRef
uby:externalReference “38447:0:6”
uby:externalSystem “Wiktionary sense key”
uby:semanticLabel SemanticLabel1
rdf:type uby:SemanticLabel
uby:label “logic”
uby:type “domain”
uby:taxonomic WktEN_sense_30034     More...

Is used by:
Property Value
Is lemon:sense of WktEN_lexicalEntry_13011     More...
Is uby:taxonomic of WktEN_sense_30034     More...


 

The resource lemonUBY is made available under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license. This resource is derived from UBY under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license
Creative Commons License

You are free to share (copy, distribute and transmit) the work, to develop your own extensions (adapt, remix) of the work, and to make commercial use of the work, provided that you comply with the licenses of all the integrated lexical resources and linkings between them.

This resources is derived from Wiktionary, dual-licensed to the public under both the Creative Commons Attribution-ShareAlike 3.0 Unported License, as well as GNU Free Documentation License (GFDL).