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
Il numero 1 argomenti di
authors
è un
istanza
di
AutonomousAgent
(
domainSubclass
authors
2
ContentBearingObject
)
Merge.kif 15457-15457
Il numero 2 argomento
authors
è una
sottoclasse
di
OggettoSemiotico
(
instance
authors
AsymmetricRelation
)
Merge.kif 15455-15455
authors
è un'
istanza
di
RelazioneAsimmetrica
(
instance
authors
BinaryPredicate
)
Merge.kif 15454-15454
authors
è un'
istanza
di
PredicatoBinario
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
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
FactualText
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
ContentBearingPhysical
sussume
il contenuto di
Formula
Formula
è un'
istanza
di
Formula
AgenteCognitivo
crede
s
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 15431-15440
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
FictionalText
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
Formula
ContentBearingPhysical
sussume
il contenuto di
Formula
Formula
è un'
istanza
di
Formula
AgenteCognitivo
non
crede
Formula
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
OggettoSemiotico
è una
sottoclasse
di
PartyPlatform
AutonomousAgent
è l'
autore
di
OggettoSemiotico
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
è un'
istanza
di
PoliticalParty
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
OggettoSemiotico
è una
sottoclasse
di
PartyPlatform
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
AgenteCognitivo
è un'
istanza
di
PoliticalParty
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
containsFormula
ContentBearingPhysical
and
Formula
AgenteCognitivo
crede
s
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
OggettoSemiotico
è una
sottoclasse
di
JointPublication
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Formula
AutonomousAgent
è l'
autore
di
OggettoSemiotico
Organizzazione
subOrganization
Organizzazione
and
USMilitary
AutonomousAgent
obbliga
Organizzazione
a compiere il compito di tipo
Formula
(=>
(
authors
?AGENT ?TEXTCLASS)
(
exists
(?PROCESS ?INSTANCE)
(
and
(
agent
?PROCESS ?AGENT)
(
instance
?INSTANCE ?TEXTCLASS)
(
result
?PROCESS ?INSTANCE))))
Merge.kif 15466-15472
AutonomousAgent
è l'
autore
di
OggettoSemiotico
Processo
Entit�
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
OggettoSemiotico
Entit�
è un
risultato
di
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
attribute
AutonomousAgent
and
Writer
Entit�
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
Testo
OggettoSemiotico
è una
sottoclasse
di
Document
Processo
è un'
istanza
di
Scrivere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
AutonomousAgent
è l'
autore
di
OggettoSemiotico
(=>
(
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
attribute
Oggetto
and
ArtCritic
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
OperaD'Arte
il
tempo
di esistenza di
Oggetto
sovrappone
s il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
Articolo
Oggetto
è l'
autore
di
Entit�
Entit�
include un
riferimento
a
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 21066-21080
attribute
Oggetto
and
NewsReporter
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
il
tempo
di esistenza di
Oggetto
sovrappone
s il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
Newspaper
Entit�
è una
sottoclasse
di
NewsProgram
Oggetto
è l'
autore
di
Entit�
Entit�
include un
riferimento
a
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