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
域
發布
, 1 and
Organization
(
domainSubclass
publishes
2
Text
)
Merge.kif 15533-15533
域子類
發布
, 2 and
Text
(
instance
publishes
AsymmetricRelation
)
Merge.kif 15531-15531
例
發布
and
AsymmetricRelation
(
instance
publishes
BinaryPredicate
)
Merge.kif 15530-15530
例
發布
and
BinaryPredicate
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
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Book
持有期間
TimePosition
and
attribute
entity
and
圖書出版商
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
音樂作品
持有期間
TimePosition
and
attribute
entity
and
音樂出版商
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
報紙
持有期間
TimePosition
and
attribute
entity
and
報紙出版社
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Periodical
持有期間
TimePosition
and
attribute
entity
and
定期出版商
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Text
持有期間
TimePosition
and
attribute
entity
and
信息產業
(=>
(
and
(
publishes
?ORG ?TEXTCLASS)
(
instance
?INST ?TEXTCLASS))
(
exists
(?PUB)
(
and
(
instance
?PUB
Publication
)
(
agent
?PUB ?ORG)
(
patient
?PUB ?INST))))
Merge.kif 15542-15550
發布
Organization
and
Text
例
Entity
and
Text
Process
例
Process
and
Publication
agent
Process
and
Organization
患者
Process
and
Entity
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