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 15512-15515
(
domain
publishes
1
Organization
)
Merge.kif 15508-15508
Il numero 1 argomenti di
publishes
è un
istanza
di
Organizzazione
(
domainSubclass
publishes
2
Text
)
Merge.kif 15509-15509
Il numero 2 argomento
publishes
è una
sottoclasse
di
Testo
(
instance
publishes
AsymmetricRelation
)
Merge.kif 15507-15507
publishes
è un'
istanza
di
RelazioneAsimmetrica
(
instance
publishes
BinaryPredicate
)
Merge.kif 15506-15506
publishes
è un'
istanza
di
PredicatoBinario
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�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Libro
attribute
Entit�
and
BookPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
MusicalComposition
attribute
Entit�
and
MusicPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Newspaper
attribute
Entit�
and
NewspaperPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Periodico
attribute
Entit�
and
PeriodicalPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Testo
attribute
Entit�
and
InformationIndustries
vales
durante
PosizioneTemporale
(=>
(
and
(
publishes
?ORG ?TEXTCLASS)
(
instance
?INST ?TEXTCLASS))
(
exists
(?PUB)
(
and
(
instance
?PUB
Publication
)
(
agent
?PUB ?ORG)
(
patient
?PUB ?INST))))
Merge.kif 15518-15526
Organizzazione
pubblica
Testo
Entit�
è un'
istanza
di
Testo
Processo
Processo
è un'
istanza
di
Editoria
Processo
è un
agente
di
Organizzazione
Entit�
è un
paziente
di
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