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 15430-15433
(
domain
authors
1
AutonomousAgent
)
Merge.kif 15426-15426
The number 1 argument of
authors
is an
instance
of
agent
(
domainSubclass
authors
2
ContentBearingObject
)
Merge.kif 15427-15427
The number 2 argument of
authors
is a
subclass
of
content bearing object
(
instance
authors
AsymmetricRelation
)
Merge.kif 15425-15425
authors
is an
instance
of
asymmetric relation
(
instance
authors
BinaryPredicate
)
Merge.kif 15424-15424
authors
is an
instance
of
binary predicate
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 15370-15377
If
a content bearing physical
is an
instance
of
a kind of content bearing object
and
a kind of content bearing object
is a
subclass
of
factual text
and
a cognitive agent
is the
author
of
the kind of content bearing object
and
the content bearing physical
subsume
s the content of
a formula
and
the formula
is an
instance
of
formula
,
then
the cognitive agent
believe
s
the 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 15401-15410
If
a content bearing physical
is an
instance
of
a kind of content bearing object
and
a kind of content bearing object
is a
subclass
of
fictional text
and
a cognitive agent
is the
author
of
the kind of content bearing object
,
then there exists
a formula
such that
the content bearing physical
subsume
s the content of
the formula
and
the formula
is an
instance
of
formula
and
the cognitive agent
doesn't
believe
the formula
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
If
a kind of content bearing object
is a
subclass
of
party platform
and
an agent
is the
author
of
a kind of content bearing object
and
the agent
is an
instance
of
organization
,
then
the agent
is an
instance
of
political party
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
If
a kind of content bearing object
is a
subclass
of
party platform
and
a cognitive agent
is the
author
of
a kind of content bearing object
and
the cognitive agent
is an
instance
of
political party
and
a content bearing physical
is an
instance
of
the kind of content bearing object
and
the content bearing physical
contains the formula
a formula
,
then
the cognitive agent
believe
s
the 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
If
a kind of content bearing object
is a
subclass
of
joint publication
and
a content bearing physical
is an
instance
of
a kind of content bearing object
and
the content bearing physical
contain
s information
a formula
and
an agent
is the
author
of
the kind of content bearing object
,
then there exists
an organization
such that
the organization
is a part of the organization
US military
and
the agent
obligate
s
the organization
to perform task of the type
the formula
(=>
(
authors
?AGENT ?TEXTCLASS)
(
exists
(?PROCESS ?INSTANCE)
(
and
(
agent
?PROCESS ?AGENT)
(
instance
?INSTANCE ?TEXTCLASS)
(
result
?PROCESS ?INSTANCE))))
Merge.kif 15436-15442
If
an agent
is the
author
of
a kind of content bearing object
,
then there exist
a process
and
an entity
such that
the agent
is an
agent
of
the process
and
the entity
is an
instance
of
a kind of content bearing object
and
the entity
is a
result
of
the process
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
If
writer
is an
attribute
of
an agent
and
an entity
is an
instance
of
a kind of content bearing object
and
a kind of content bearing object
is a
subclass
of
text
or
the kind of content bearing object
is a
subclass
of
document
and
a process
is an
instance
of
writing
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
,
then
the agent
is the
author
of
the kind of content bearing object
(=>
(
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 21038-21050
If
art critic
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
art work
and the
time
of existence of
the object
overlap
s the
time
of existence of
the entity
and
the other entity
is an
instance
of
the third entity
and
the third entity
is a
subclass
of
article
and
the object
is the
author
of
the third entity
and
the other entity
includes a
reference
to
the entity
(=>
(
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 21015-21029
If
news reporter
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and the
time
of existence of
the object
overlap
s the
time
of existence of
the entity
and
the other entity
is an
instance
of
the third entity
and
the third entity
is a
subclass
of
newspaper
or
the third entity
is a
subclass
of
newsprogram
and
the object
is the
author
of
the third entity
and
the other entity
includes a
reference
to
the 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
