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 15536-15539
(
domain
publishes
1
Organization
)
Merge.kif 15532-15532
O argumento numero 1 de
publishes
e' uma
instancia
de
Organizacao
(
domainSubclass
publishes
2
Text
)
Merge.kif 15533-15533
O argumento numero 2 de
publishes
e' uma
sub
-classe de
Texto
(
instance
publishes
AsymmetricRelation
)
Merge.kif 15531-15531
publishes
e' uma
instancia
de
Relacao Assimetrica
(
instance
publishes
BinaryPredicate
)
Merge.kif 15530-15530
publishes
e' uma
instancia
de
Predicado Binario
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 48028-48028
(
termFormat
ChineseTraditionalLanguage
publishes
"發布")
domainEnglishFormat.kif 48027-48027
(
termFormat
EnglishLanguage
publishes
"publishes")
domainEnglishFormat.kif 48026-48026
antecedent
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Livro
BookPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
MusicalComposition
MusicPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Newspaper
NewspaperPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Periodico
PeriodicalPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Texto
InformationIndustries
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
publishes
?ORG ?TEXTCLASS)
(
instance
?INST ?TEXTCLASS))
(
exists
(?PUB)
(
and
(
instance
?PUB
Publication
)
(
agent
?PUB ?ORG)
(
patient
?PUB ?INST))))
Merge.kif 15542-15550
Organizacao
publica
Texto
Entidade
e' uma
instancia
de
Texto
Processo
Processo
e' uma
instancia
de
Publicacao
Processo
e' um
agente
de
Organizacao
Entidade
e' um
patient
de
Processo
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