Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

sentence (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.

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  object  
is subclass of
  self connected object  
is subclass of
  content bearing object  
is subclass of
  linguistic expression  
is subclass of
[tree]
entity
is subclass of
  physical  
is subclass of
  object  
is subclass of
  self connected object  
is subclass of
  corpuscular object  
is subclass of
  artifact  
is subclass of
is subclass of
  text  
is subclass of
  sentence  

Subclass(es)

formula 

Coordinate term(s)

article  book  certificate  motion picture  summary 

Constrains relations

true 

Related WordNet synsets

sentence
a string of words satisfying the grammatical rules of a language; "he always spoke in grammatical sentences"
sentence is kind of (all)...   sentence is kind of...   kinds of sentence...   kinds of sentence (all)...   parts of sentence...  
sentential
of or relating to a sentence; "the sentential subject"
sentential pertains to noun...  
See more related synsets on a separate page.

Axioms (4)

If sentence is an instance of sentence, then there exist noun phrase phrase1,verb phrase phrase2 so that phrase1 is a part of sentence and phrase2 is a part of sentence. 
(=>
      (instance ?SENTENCE Sentence)
      (exists
            (?PHRASE1 ?PHRASE2)
            (and
                  (instance ?PHRASE1 NounPhrase)
                  (instance ?PHRASE2 VerbPhrase)
                  (part ?PHRASE1 ?SENTENCE)
                  (part ?PHRASE2 ?SENTENCE))))
If text is an instance of text, then there exists sentence part so that part is a part of text. 
(=>
      (instance ?TEXT Text)
      (exists
            (?PART)
            (and
                  (part ?PART ?TEXT)
                  (instance ?PART Sentence))))
If sent is an instance of sentence, then there exist noun phrase noun,verb phrase verb so that noun is a part of sent and verb is a part of sent. 
(=>
      (instance ?SENT Sentence)
      (exists
            (?NOUN ?VERB)
            (and
                  (instance ?NOUN NounPhrase)
                  (instance ?VERB VerbPhrase)
                  (part ?NOUN ?SENT)
                  (part ?VERB ?SENT))))
If item has an attribute value and value is an instance of truth value, then item is an instance of sentence or item is an instance of proposition. 
(=>
      (and
            (property ?ITEM ?VALUE)
            (instance ?VALUE TruthValue))
      (or
            (instance ?ITEM Sentence)
            (instance ?ITEM Proposition)))