주어,subject와 서술어(술어,predicate)로 구성.

언어학에서, (clause)의 collection은 문장,sentence.

논리학에서, (clause)은 a disjunction of literals.
리터럴,literals의 disjunction.

Compare:
구,phrase(보다 더 작은 단위)

Sub:
dependent_clause =,dependent_clause . dependent_clause (w)
{
종속절 ?
subordinate clause, dependent clause, subclause, embedded clause (wpen)

WtEn:dependent_clause ? o (2023-10-10) linked to syn. WtEn:subordinate_clause

WpSimple:Dependent_clauses ?
= https://simple.wikipedia.org/wiki/Dependent_clauses
WpEn:Dependent_clause ?
= https://en.wikipedia.org/wiki/Dependent_clause
... Google:Dependent clause Naver:Dependent clause
Ndict:dependent clause
}

(위아래비교/서로link tbw)

independent_clause =,independent_clause . independent_clause (w)
{
independent clause
독립절 ?

WtEn:independent_clause ? o (2023-10)
" A clause that can stand alone syntactically as a complete sentence; contains at least a subject and a verb."

syn.

WtEn:main_clause = https://en.wiktionary.org/wiki/main_clause#English
=주절,main_clause =,main_clause . main_clause ?

WtEn:coordinate_clause = https://en.wiktionary.org/wiki/coordinate_clause#English
"A clause that can stand alone syntactically as a complete sentence and contains at least a subject and a verb."

WtEn:matrix_clause = https://en.wiktionary.org/wiki/matrix_clause#English
"A clause that has another (subordinate) clause embedded within it."
(? chk why - 구체적 설명rationale.)


Twins:
WpSimple:Independent_clauses
= https://simple.wikipedia.org/wiki/Independent_clauses
WpEn:Independent_clause
= https://en.wikipedia.org/wiki/Independent_clause

... Google:Independent clause Naver:Independent clause

Ndict:independent clause
}

relative_clause =,relative_clause =,relative_clause . relative_clause
{
관계절 ? 관계사절 ? 관계대명사절 ??
관계절 (wpko)

관계대명사,relative_pronoun로만 시작해야 한다. (wpsimple)

WpKo:관계절
= https://ko.wikipedia.org/wiki/관계절
WpSimple:Relative_clause
= https://simple.wikipedia.org/wiki/Relative_clause
WpEn:Relative_clause
= https://en.wikipedia.org/wiki/Relative_clause

... Naver:relative clause
}
Horn_clause =,Horn_clause =,Horn_clause . Horn_clause
{
호른_절 or 혼_절 ?

A Horn clause is a clause with at most one positive(unnegated) literal. (wpen)

중요한 이유:
mkl;
definite_clause

History
1951년. 논리학자 Alfred Horn { https://en.wikipedia.org/wiki/Alfred_Horn } 의 이름에서 유래.

tmp twins:
WtEn:Horn_clause
= https://en.wiktionary.org/wiki/Horn_clause
" A clause (disjunction of literals) with at most one positive literal."

Twins:
http://www.aistudy.com/logic/horn_clause.htm
https://foldoc.org/Horn clause
WpEn:Horn_clause
= https://en.wikipedia.org/wiki/Horn_clause

https://www.pls-lab.org/en/Horn_clause

cmp Horn_sentence - 문장,sentence

Naver:Horn clause
Google:Horn clause

Up: 논리식,logical_formula의 일종임. (we)
}

definite_clause =,definite_clause =,definite_clause . definite_clause
{
definite clause

WtEn:definite_clause = https://en.wiktionary.org/wiki/definite_clause
(2023-11-09) "A Horn clause with exactly one positive literal"
혼_절,Horn_clause인데 오직 하나의 positive(양? 긍정? 참값(??) WtEn:positive )인 리터럴,literal을 가진.

https://foldoc.org/definite clause
"A Horn clause that has exactly one positive literal."

...
Ndict:definite clause
Ggl:definite clause 절
"definite clause"
}

QQQ
WpEn:Blake_canonical_form에서 See also 에 있음, chk

predicate_clause - curr at... Srch:predicate_clause


WtEn:clause = https://en.wiktionary.org/wiki/clause#English

WpKo:절_(언어학)
WpSimple:Clause
WpEn:Clause
Retrieved from http://www.red-ruby.com/wiki/wiki.php/절,clause
last modified 2024-02-14 09:03:29