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
Le nombre 1 argument de
authors
est une
instance
de
AutonomousAgent
(
domainSubclass
authors
2
ContentBearingObject
)
Merge.kif 15503-15503
Le nombre 2 argument de
authors
est une
sous
-classe de
objet exprimant un sens
(
instance
authors
AsymmetricRelation
)
Merge.kif 15501-15501
authors
est une
instance
de
relation asym�trique
(
instance
authors
BinaryPredicate
)
Merge.kif 15500-15500
authors
est une
instance
de
pr�dicat binaire
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
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
FactualText
agent cognitif
est l'
auteur
de
objet exprimant un sens
ContentBearingPhysical
classe
le contenu de
formule
formule
est une
instance
de
formule
agent cognitif
croit
formule
(=>
(
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
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
FictionalText
agent cognitif
est l'
auteur
de
objet exprimant un sens
formule
ContentBearingPhysical
classe
le contenu de
formule
formule
est une
instance
de
formule
agent cognitif
ne
croit
%n{pas}
formule
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2288-2293
Objet exprimant un sens
est une
sous
-classe de
PartyPlatform
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
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
Objet exprimant un sens
est une
sous
-classe de
PartyPlatform
agent cognitif
est l'
auteur
de
objet exprimant un sens
agent cognitif
est une
instance
de
PoliticalParty
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
containsFormula
ContentBearingPhysical
and
formule
agent cognitif
croit
formule
(=>
(
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
Objet exprimant un sens
est une
sous
-classe de
JointPublication
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
formule
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
organisation
organisation
est une partie de l'organization
USMilitary
AutonomousAgent
oblige
organisation
� ex�cut� des t�ches du type
formule
(=>
(
authors
?AGENT ?TEXTCLASS)
(
exists
(?PROCESS ?INSTANCE)
(
and
(
agent
?PROCESS ?AGENT)
(
instance
?INSTANCE ?TEXTCLASS)
(
result
?PROCESS ?INSTANCE))))
Merge.kif 15512-15518
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
processus
entit�
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
objet exprimant un sens
entit�
est le
resultat
de
processus
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
est un
attribut
de
AutonomousAgent
entit�
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
texte
objet exprimant un sens
est une
sous
-classe de
Document
processus
est une
instance
de
�crire
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
(=>
(
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
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
objet d'art
temps
d'existence de
objet
recouvre
temps
d'existence de
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
article
objet
est l'
auteur
de
entit�
entit�
inclut une
r
�f�rence �
entit�
(=>
(
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
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
temps
d'existence de
objet
recouvre
temps
d'existence de
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
Newspaper
entit�
est une
sous
-classe de
NewsProgram
objet
est l'
auteur
de
entit�
entit�
inclut une
r
�f�rence �
entit�
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