Testo (Text)
A Sentence or set of Sentences that perform
a specific function related to Communication, e.g. express a discourse
about a particular topic.
Ontology
SUMO / OBJECTSSuperclass(es)
Subclass(es)
ImmagineDinamica
Frase
Libro
Riassunto
Articolo
Certificato
Coordinate term(s)
OperaD'Arte
Vestito
Dispositivo
Stoffa
Linguaggio
Morfema
Sintagma
Prodotto
ManufattoStatico
Parola
Constrains relations
series volume fn
authors
editor
publishes
Related WordNet synsets
- document
- anything serving as a representation of a person's thinking by means of symbolic marks
- text, textual matter
- the words of something written; "there were more than a thousand words of text"; "they handed out the printed text of the mayor's speech"; "he wants to reconstruct the original text"
- textual
- of or relating to or based on a text; "textual analysis"
See more related synsets on a separate page.
Axioms (6)
Se read é un' istanza di Leggere, allora esiste Testo text,prop tale che text contienes informazione prop e read esprime il contenuto di prop.
(=>
(instance ?READ Reading)
(exists
(?TEXT ?PROP)
(and
(instance ?TEXT Text)
(containsInformation ?TEXT ?PROP)
(realization ?READ ?PROP))))
Se pub é un' istanza di Editoria e text é un paziente di pub, allora text é una sottoclasse di Testo.
(=>
(and
(instance ?PUB Publication)
(patient ?PUB ?TEXT))
(subclass ?TEXT Text))
Se text é un' istanza di Testo, allora esiste Proposizione prop tale che text contienes informazione prop.
(=>
(instance ?TEXT Text)
(exists
(?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?TEXT ?PROP))))
Se text é un' istanza di Testo, allora esiste Frase part tale che part é una parte di text.
(=>
(instance ?TEXT Text)
(exists
(?PART)
(and
(part ?PART ?TEXT)
(instance ?PART Sentence))))
Se text é un' istanza di Testo, allora esiste Scrivere write tale che text é un risultato di write.
(=>
(instance ?TEXT Text)
(exists
(?WRITE)
(and
(instance ?WRITE Writing)
(result ?WRITE ?TEXT))))
Se text é un' istanza di Riassunto, allora esiste Testo text2 tale che text2 sussume il contenuto di text.
(=>
(instance ?TEXT Summary)
(exists
(?TEXT2)
(and
(instance ?TEXT2 Text)
(subsumesContentInstance ?TEXT2 ?TEXT))))