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
authors
Sigma KEE - authors
authors
appearance as argument number 1
(
documentation
authors
ChineseLanguage
"(
authors
?AGENT ?TEXTCLASS)的意思是 ?AGENT 创作 ?TEXTCLASS 所有实例的内容。例如:阿加莎·克里斯蒂是'东方快车'谋杀案的作者。")
chinese_format.kif 3561-3562
(
documentation
authors
EnglishLanguage
"(
authors
?AGENT ?TEXTCLASS) means that ?AGENT is creatively responsible for the content of all instances of ?TEXTCLASS. For example, Agatha Christie is author of Murder_on_the_Orient_Express.")
Merge.kif 15506-15509
(
domain
authors
1
AutonomousAgent
)
Merge.kif 15502-15502
O argumento numero 1 de
authors
e' uma
instancia
de
AutonomousAgent
(
domainSubclass
authors
2
ContentBearingObject
)
Merge.kif 15503-15503
O argumento numero 2 de
authors
e' uma
sub
-classe de
Objeto Representendo Conteudo Abstrato
(
instance
authors
AsymmetricRelation
)
Merge.kif 15501-15501
authors
e' uma
instancia
de
Relacao Assimetrica
(
instance
authors
BinaryPredicate
)
Merge.kif 15500-15500
authors
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
authors
"%1 %n 是 %2 的
authors
")
chinese_format.kif 531-531
(
format
EnglishLanguage
authors
"%1 is %n the author of %2")
english_format.kif 536-536
(
format
FrenchLanguage
authors
"%1 est %n l' auteur de %2")
french_format.kif 313-313
(
format
ItalianLanguage
authors
"%1 è l' autore di %2")
relations-it.txt 30-30
(
format
JapaneseLanguage
authors
"%1 は %2 の author では %n")
japanese_format.kif 2081-2081
(
format
PortugueseLanguage
authors
"%1 e' %n o autor de %2")
portuguese_format.kif 265-265
(
format
cb
authors
"%1 ang nagsulat sa %2")
relations-cb.txt 64-64
(
format
de
authors
"%1 ist der schreiber von %2")
relations-de.txt 692-692
(
format
hi
authors
"%1 %2 kaa lekhaka hai")
relations-hindi.txt 74-74
(
format
ro
authors
"%1 %n{nu} este author%t{autorul} lucrãrii %2")
relations-ro.kif 334-334
(
format
sv
authors
"%1 är %n{inte} författaren till %2")
relations-sv.txt 345-345
(
format
tg
authors
"%1 ay ang sumulat ng %2")
relations-tg.txt 76-76
(
termFormat
ChineseLanguage
authors
"作者")
chinese_format.kif 532-532
(
termFormat
ChineseTraditionalLanguage
authors
"作者")
domainEnglishFormat.kif 9161-9161
(
termFormat
EnglishLanguage
authors
"authors")
domainEnglishFormat.kif 9160-9160
(
termFormat
tg
authors
"sumulat")
relations-tg.txt 77-77
antecedent
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15446-15453
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
FactualText
Agente Cognitivo
e' o
autor
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
subsume
o conteudo de
Formula
Formula
e' uma
instancia
de
Formula
Agente Cognitivo
acredita
que
Formula
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FictionalText
)
(
authors
?AGENT ?CLASS))
(
exists
(?CONTENT)
(
and
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
)
(
not
(
believes
?AGENT ?CONTENT)))))
Merge.kif 15477-15486
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
FictionalText
Agente Cognitivo
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Formula
ContentBearingPhysical
subsume
o conteudo de
Formula
Formula
e' uma
instancia
de
Formula
Agente Cognitivo
acredita
que
Formula
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2288-2293
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
PartyPlatform
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
e' uma
instancia
de
PoliticalParty
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2295-2302
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
PartyPlatform
Agente Cognitivo
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Agente Cognitivo
e' uma
instancia
de
PoliticalParty
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
containsFormula
ContentBearingPhysical
and
Formula
Agente Cognitivo
acredita
que
Formula
(=>
(
and
(
subclass
?PUB
JointPublication
)
(
instance
?ONE ?PUB)
(
containsInformation
?ONE ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
JointPublication
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Formula
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Organizacao
Organizacao
e' uma parte da organizacao
USMilitary
AutonomousAgent
obriga
Organizacao
a executar tarefas de tipo
Formula
(=>
(
authors
?AGENT ?TEXTCLASS)
(
exists
(?PROCESS ?INSTANCE)
(
and
(
agent
?PROCESS ?AGENT)
(
instance
?INSTANCE ?TEXTCLASS)
(
result
?PROCESS ?INSTANCE))))
Merge.kif 15512-15518
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Processo
Entidade
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Entidade
e' o
resultado
de
Processo
consequent
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
Writer
e' um
atributo
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Texto
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Document
Processo
e' uma
instancia
de
Escrever
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21116-21128
ArtCritic
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Objeto de Arte
tempo
de existencia de
Objeto
engloba
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
sub
-classe de
Artigo
Objeto
e' o
autor
de
Entidade
Entidade
inclui uma
referencia
a
Entidade
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21093-21107
NewsReporter
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
tempo
de existencia de
Objeto
engloba
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
sub
-classe de
Newspaper
Entidade
e' uma
sub
-classe de
NewsProgram
Objeto
e' o
autor
de
Entidade
Entidade
inclui uma
referencia
a
Entidade
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