Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
publishes
Sigma KEE - publishes
publishes
appearance as argument number 1
(
documentation
publishes
ChineseLanguage
"(
publishes
?ORG ?TEXTCLASS)的意思是 ?ORG 出版了 ?TEXTCLASS 的所有实例。例如:'Bantam Books'出版了阿加莎·克里斯蒂所作的'东方快车'谋杀案。")
chinese_format.kif 3565-3566
(
documentation
publishes
EnglishLanguage
"(
publishes
?ORG ?TEXTCLASS) means that ?ORG publishes all instances of ?TEXTCLASS. For example, Bantam Books publishes Agatha Christie's Murder_on_the_Orient_Express.")
Merge.kif 15490-15493
(
domain
publishes
1
Organization
)
Merge.kif 15486-15486
The number 1 argument of
publishes
is an
instance
of
organization
(
domainSubclass
publishes
2
Text
)
Merge.kif 15487-15487
The number 2 argument of
publishes
is a
subclass
of
text
(
instance
publishes
AsymmetricRelation
)
Merge.kif 15485-15485
publishes
is an
instance
of
asymmetric relation
(
instance
publishes
BinaryPredicate
)
Merge.kif 15484-15484
publishes
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
publishes
"%1 %n{doesn't}
publishes
%2")
chinese_format.kif 535-535
(
format
EnglishLanguage
publishes
"%1 %n{doesn't} publishe%p{s} %2")
english_format.kif 540-540
(
format
FrenchLanguage
publishes
"%1 %n{ne} publie %n{pas} %2")
french_format.kif 315-315
(
format
ItalianLanguage
publishes
"%1 pubblica %2")
relations-it.txt 237-237
(
format
JapaneseLanguage
publishes
"%1 は %2 を publishe%p{s} %n{ない}")
japanese_format.kif 2083-2083
(
format
PortugueseLanguage
publishes
"%1 %n{nao} publica %n %2")
portuguese_format.kif 267-267
(
format
de
publishes
"%1 veroeffentlicht %2")
relations-de.txt 698-698
(
format
hi
publishes
"%1 %2 ko prakaashita karataa hai")
relations-hindi.txt 275-275
(
format
ro
publishes
"%1 %n{nu} publishe%t{publicã} %2")
relations-ro.kif 336-336
(
format
sv
publishes
"%1 publiserar %n{inte} %2")
relations-sv.txt 347-347
(
format
tg
publishes
"%1 ay naglilimbag %2")
relations-tg.txt 429-429
(
termFormat
ChineseLanguage
publishes
"出版")
chinese_format.kif 536-536
(
termFormat
ChineseLanguage
publishes
"发布")
domainEnglishFormat.kif 48026-48026
(
termFormat
ChineseTraditionalLanguage
publishes
"發布")
domainEnglishFormat.kif 48025-48025
(
termFormat
EnglishLanguage
publishes
"publishes")
domainEnglishFormat.kif 48024-48024
antecedent
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
book
,
then
book publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
musical composition
,
then
music publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
newspaper
,
then
newspaper publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
periodical
,
then
periodical publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
text
,
then
information industry
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
publishes
?ORG ?TEXTCLASS)
(
instance
?INST ?TEXTCLASS))
(
exists
(?PUB)
(
and
(
instance
?PUB
Publication
)
(
agent
?PUB ?ORG)
(
patient
?PUB ?INST))))
Merge.kif 15496-15504
If
an organization
publishe
s
a kind of text
and
an entity
is an
instance
of
a kind of text
,
then there exists
a process
such that
the process
is an
instance
of
publication
and
the organization
is an
agent
of
the process
and
the entity
is a
patient
of
the process
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners