wen2 ben3 (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)
dian4 ying3
ju4 zi5
shu1 ji2
zhai1 yao4
wen2 zhang1
zheng4 shu1
Coordinate term(s)
yi4 shu4 pin3
yi1 wu4
zhuang1 zhi4
zhi4 wu4
yu3 yan2
ci2 su4
ci2 zu3
chan3 pin3
gu4 ding4 ren2 zao4 wu4
ci2
Constrains relations
xi4 lie4 yi1 juan4 han2 shu4
zuo4 zhe3
bian1 zhe3
chu1 ban3
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)
If read shi4 yue4 du2 de5 shi2 li4, then there exist wen2 ben3 text,prop so_that_not text (bu2) bao1 han2s) xun4 xi1 %2 and read biao3 da2 prop de5 na4 rong2.
(=>
(instance ?READ Reading)
(exists
(?TEXT ?PROP)
(and
(instance ?TEXT Text)
(containsInformation ?TEXT ?PROP)
(realization ?READ ?PROP))))
If pub shi4 chu1 ban3 de5 shi2 li4 and text shi4 pub de5 shou4 shi4 zhe3, then text shi4 wen2 ben3 de5 ci4 zhong3 lei4.
(=>
(and
(instance ?PUB Publication)
(patient ?PUB ?TEXT))
(subclass ?TEXT Text))
If text shi4 wen2 ben3 de5 shi2 li4, then there exists ming4 ti2 prop so_that_not text (bu2) bao1 han2s) xun4 xi1 %2.
(=>
(instance ?TEXT Text)
(exists
(?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?TEXT ?PROP))))
If text shi4 wen2 ben3 de5 shi2 li4, then there exists ju4 zi5 part so_that_not part shi4 text de5 bu4 fen5).
(=>
(instance ?TEXT Text)
(exists
(?PART)
(and
(part ?PART ?TEXT)
(instance ?PART Sentence))))
If text shi4 wen2 ben3 de5 shi2 li4, then there exists xie3 zuo4 write so_that_not text shi4 write de5 jie2 guo3.
(=>
(instance ?TEXT Text)
(exists
(?WRITE)
(and
(instance ?WRITE Writing)
(result ?WRITE ?TEXT))))
If text shi4 zhai1 yao4 de5 shi2 li4, then there exists wen2 ben3 text2 so_that_not text2 bao1 rong2 text.
(=>
(instance ?TEXT Summary)
(exists
(?TEXT2)
(and
(instance ?TEXT2 Text)
(subsumesContentInstance ?TEXT2 ?TEXT))))