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 15460-15463
(
domain
authors
1
AutonomousAgent
)
Merge.kif 15456-15456
authors
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domainSubclass
authors
2
ContentBearingObject
)
Merge.kif 15457-15457
authors
の数値 2 引数は
コンテンツベアリングオブジェクト
の
subclass
では %n
(
instance
authors
AsymmetricRelation
)
Merge.kif 15455-15455
authors
は
非対称関係
の
instance
では %n
(
instance
authors
BinaryPredicate
)
Merge.kif 15454-15454
authors
は
2進述語
の
instance
では %n
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 15400-15407
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
コンテンツベアリングオブジェクト
は
FactualText
の
subclass
では %n
認識エージェント
は
コンテンツベアリングオブジェクト
の
author
では %n
ContentBearingPhysical
は
公式
の コンテンツを
subsume
s %n{ない}
公式
は
公式
の
instance
では %n
認識エージェント
は
公式
を
believe
s %n{ない}
(=>
(
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 15431-15440
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
コンテンツベアリングオブジェクト
は
FictionalText
の
subclass
では %n
認識エージェント
は
コンテンツベアリングオブジェクト
の
author
では %n
公式
ContentBearingPhysical
は
公式
の コンテンツを
subsume
s %n{ない}
公式
は
公式
の
instance
では %n
認識エージェント
は
公式
を
believe
ない
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
コンテンツベアリングオブジェクト
は
PartyPlatform
の
subclass
では %n
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
PoliticalParty
の
instance
では %n
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
コンテンツベアリングオブジェクト
は
PartyPlatform
の
subclass
では %n
認識エージェント
は
コンテンツベアリングオブジェクト
の
author
では %n
認識エージェント
は
PoliticalParty
の
instance
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
containsFormula
ContentBearingPhysical
and
公式
認識エージェント
は
公式
を
believe
s %n{ない}
(=>
(
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
コンテンツベアリングオブジェクト
は
JointPublication
の
subclass
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
公式
の情報を
contain
s %n{ない}
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
組織
組織
は組織
USMilitary
の一部では %n
AutonomousAgent
は
組織
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
(=>
(
authors
?AGENT ?TEXTCLASS)
(
exists
(?PROCESS ?INSTANCE)
(
and
(
agent
?PROCESS ?AGENT)
(
instance
?INSTANCE ?TEXTCLASS)
(
result
?PROCESS ?INSTANCE))))
Merge.kif 15466-15472
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
工程
エンティティー
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
は
工程
の
result
では %n
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
は
AutonomousAgent
の
attribute
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
コンテンツベアリングオブジェクト
は
テキスト
の
subclass
では %n
コンテンツベアリングオブジェクト
は
Document
の
subclass
では %n
工程
は
執筆
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
(=>
(
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 21089-21101
ArtCritic
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
芸術作品
の
instance
では %n
オブジェクト
の
time
の existence は
エンティティー
の
time
の existence と
overlap
s %n{dない}
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
記事
の
subclass
では %n
オブジェクト
は
エンティティー
の
author
では %n
エンティティー
は
エンティティー
への
reference
を includes %n{ない} の 目的 %n{ない}
(=>
(
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 21066-21080
NewsReporter
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
オブジェクト
の
time
の existence は
エンティティー
の
time
の existence と
overlap
s %n{dない}
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
Newspaper
の
subclass
では %n
エンティティー
は
NewsProgram
の
subclass
では %n
オブジェクト
は
エンティティー
の
author
では %n
エンティティー
は
エンティティー
への
reference
を includes %n{ない} の 目的 %n{ない}
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