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
Le nombre 1 argument de
publishes
est une
instance
de
organisation
(
domainSubclass
publishes
2
Text
)
Merge.kif 15487-15487
Le nombre 2 argument de
publishes
est une
sous
-classe de
texte
(
instance
publishes
AsymmetricRelation
)
Merge.kif 15485-15485
publishes
est une
instance
de
relation asym�trique
(
instance
publishes
BinaryPredicate
)
Merge.kif 15484-15484
publishes
est une
instance
de
pr�dicat binaire
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
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
livre
BookPublishers
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
MusicalComposition
MusicPublishers
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
Newspaper
NewspaperPublishers
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
periodique
PeriodicalPublishers
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
Entit�
publie
classe
pendant
position temporel
classe
est une
sous
-classe de
texte
InformationIndustries
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
publishes
?ORG ?TEXTCLASS)
(
instance
?INST ?TEXTCLASS))
(
exists
(?PUB)
(
and
(
instance
?PUB
Publication
)
(
agent
?PUB ?ORG)
(
patient
?PUB ?INST))))
Merge.kif 15496-15504
Organisation
publie
texte
entit�
est une
instance
de
texte
processus
processus
est une
instance
de
publier
processus
est un
agent
de
organisation
entit�
est un
patient
de
processus
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