věta (Sentence)
A syntactically well-formed formula of a
Language. It includes, at minimum, a predicate and a subject (which
may be explicit or implicit), and it expresses a Proposition.
Ontologie
SUMO / OBJECTSNadtřída(y)
Podtřída(y)
formule
Související termín(y)
článek
kniha
certifikát
film
shrnutí
Constrains relations
true
Related WordNet synsets
- sentence
- a string of words satisfying the grammatical rules of a language; "he always spoke in grammatical sentences"
- sentential
- of or relating to a sentence; "the sentential subject"
See more related synsets on a separate page.
Axiomy (4)
Jestliže sentence je instancí třídy věta, potom existují rozvité podstatné jméno phrase1,rozvité sloveso phrase2 tak, že phrase1 je částí sentence a phrase2 je částí sentence.
(=>
(instance ?SENTENCE Sentence)
(exists
(?PHRASE1 ?PHRASE2)
(and
(instance ?PHRASE1 NounPhrase)
(instance ?PHRASE2 VerbPhrase)
(part ?PHRASE1 ?SENTENCE)
(part ?PHRASE2 ?SENTENCE))))
Jestliže text je instancí třídy text, potom existuje věta part tak, že part je částí text.
(=>
(instance ?TEXT Text)
(exists
(?PART)
(and
(part ?PART ?TEXT)
(instance ?PART Sentence))))
Jestliže sent je instancí třídy věta, potom existují rozvité podstatné jméno noun,rozvité sloveso verb tak, že noun je částí sent a verb je částí sent.
(=>
(instance ?SENT Sentence)
(exists
(?NOUN ?VERB)
(and
(instance ?NOUN NounPhrase)
(instance ?VERB VerbPhrase)
(part ?NOUN ?SENT)
(part ?VERB ?SENT))))
Jestliže item má atribut value a value je instancí třídy pravdivostní hodnota, potom item je instancí třídy věta nebo item je instancí třídy výrok.
(=>
(and
(property ?ITEM ?VALUE)
(instance ?VALUE TruthValue))
(or
(instance ?ITEM Sentence)
(instance ?ITEM Proposition)))