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
Entity
Sigma KEE - creator
creator
appearance as argument number 1
(
documentation
creator
EnglishLanguage
"(creator ?AGENT ?ENTITY) means that some
AutonomousAgent
?AGENT is the creator of some
Entity
?ENTITY")
Mid-level-ontology.kif 13714-13715
(
domain
creator
1
AutonomousAgent
)
Mid-level-ontology.kif 13712-13712
O argumento numero 1 de
creator
e' uma
instancia
de
AutonomousAgent
(
domain
creator
2
Entity
)
Mid-level-ontology.kif 13713-13713
O argumento numero 2 de
creator
e' uma
instancia
de
Entidade
(
instance
creator
BinaryPredicate
)
Mid-level-ontology.kif 13711-13711
creator
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
creator
"%1 created %2 ")
domainEnglishFormat.kif 3146-3146
(
format
ChineseTraditionalLanguage
creator
"%1 created %2 ")
domainEnglishFormat.kif 3145-3145
(
format
EnglishLanguage
creator
"%1 created %2")
domainEnglishFormat.kif 3144-3144
(
subrelation
composer
creator
)
Music.kif 137-137
composer
e' uma
sub
-relacao de
creator
(
subrelation
lyricist
creator
)
Music.kif 156-156
lyricist
e' uma
sub
-relacao de
creator
(
termFormat
EnglishLanguage
creator
"creator")
Mid-level-ontology.kif 13716-13716
antecedent
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?ITEM
Object
)
(
instance
?CREATOR
AutonomousAgent
)
(
attribute
?LISTING
AuctionAttribute
)
(
patient
?ITEM ?LISTING)
(
creator
?CREATOR ?LISTING))
(
desires
?CREATOR
(
exists
(?AUCTION)
(
and
(
instance
?AUCTION
Auctioning
)
(
patient
?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 313-325
Objeto
e' uma
instancia
de
WebListing
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
e' uma
instancia
de
AutonomousAgent
AuctionAttribute
e' um
atributo
de
Objeto
Objeto
e' um
patient
de
Processo
creator
Agente Cognitivo
and
Objeto
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Auctioning
Processo
e' um
patient
de
Entidade
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE)
(
creator
?LISTING ?AGENT))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 39-45
AutonomousAgent
e' uma
instancia
de
WebListing
WebSite
e' uma
instancia
de
WebSite
hostedOn
AutonomousAgent
and
WebSite
creator
AutonomousAgent
and
Humano
webSeller
Humano
and
WebSite
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
AutonomousAgent
)
(
instance
?W
WebSite
)
(
component
?P ?W)
(
creator
?A ?P)
(
registeredUser
?A ?W))
(
hasPurpose
?P
(
exists
(?D)
(
and
(
instance
?D
Disseminating
)
(
agent
?D ?A)
(
patient
?D ?P)
(
instrument
?D ?W)))))
ComputerInput.kif 2830-2844
Objeto Corpuscular
e' uma
instancia
de
DigitalPost
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebSite
e' uma
instancia
de
WebSite
Objeto Corpuscular
e' um
componente
de
WebSite
creator
AutonomousAgent
and
Objeto Corpuscular
registeredUser
AutonomousAgent
and
WebSite
Objeto Corpuscular
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Disseminar
Entidade
e' um
agente
de
AutonomousAgent
Objeto Corpuscular
e' um
patient
de
Entidade
WebSite
e' um
instrumento
para
Entidade
(=>
(
creator
?AGENT ?ENTITY)
(
exists
(?CREATION)
(
and
(
instance
?CREATION
Creation
)
(
agent
?CREATION ?AGENT)
(
result
?CREATION ?ENTITY))))
Mid-level-ontology.kif 13717-13723
creator
AutonomousAgent
and
Entidade
Processo
Processo
e' uma
instancia
de
Criacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
consequent
(=>
(
and
(
subclass
?OS
AndroidOS
)
(
instance
?INST ?OS))
(
creator
AlphabetCorporation
?INST))
ComputingBrands.kif 30-34
Classe
e' uma
sub
-classe de
AndroidOS
Entidade
e' uma
instancia
de
Classe
creator
AlphabetCorporation
and
Entidade
(=>
(
and
(
subclass
?OS
AppleIOS
)
(
instance
?INST ?OS))
(
creator
AppleComputerCorporation
?INST))
ComputingBrands.kif 93-97
Classe
e' uma
sub
-classe de
AppleIOS
Entidade
e' uma
instancia
de
Classe
creator
AppleComputerCorporation
and
Entidade
(=>
(
and
(
subclass
?OS
WindowsOS
)
(
instance
?INST ?OS))
(
creator
MicrosoftCorporation
?INST))
ComputingBrands.kif 62-66
Classe
e' uma
sub
-classe de
WindowsOS
Entidade
e' uma
instancia
de
Classe
creator
MicrosoftCorporation
and
Entidade
(=>
(
listingSeller
?LISTING ?AGENT)
(
creator
?LISTING ?AGENT))
UXExperimentalTerms.kif 57-59
listingSeller
AutonomousAgent
and
AutonomousAgent
creator
AutonomousAgent
and
AutonomousAgent
appearance as argument number 0
(
creator
AdobeComputerCorp
AdobeFlashPlayer
)
ComputingBrands.kif 2950-2950
creator
AdobeComputerCorp
and
AdobeFlashPlayer
(
creator
AppleComputer
AppleAppStore
)
ComputingBrands.kif 1971-1971
creator
AppleComputer
and
AppleAppStore
(
creator
AppleComputerCorporation
AirPlay
)
ComputingBrands.kif 1858-1858
creator
AppleComputerCorporation
and
AirPlay
(
creator
AppleComputerCorporation
AirPrint
)
ComputingBrands.kif 1900-1900
creator
AppleComputerCorporation
and
AirPrint
(
creator
AppleComputerCorporation
AppleFairPlay
)
ComputingBrands.kif 956-956
creator
AppleComputerCorporation
and
AppleFairPlay
(
creator
AppleComputerCorporation
AppleMigrationAssistant
)
ComputingBrands.kif 989-989
creator
AppleComputerCorporation
and
AppleMigrationAssistant
(
creator
AppleComputerCorporation
AppleSafari
)
ComputingBrands.kif 975-975
creator
AppleComputerCorporation
and
AppleSafari
(
creator
AppleComputerCorporation
AppleSetupAssistant
)
ComputingBrands.kif 982-982
creator
AppleComputerCorporation
and
AppleSetupAssistant
(
creator
AppleComputerCorporation
CocoaTouch
)
ComputingBrands.kif 2433-2433
creator
AppleComputerCorporation
and
CocoaTouch
(
creator
AppleComputerCorporation
IBooks
)
ComputingBrands.kif 3293-3293
creator
AppleComputerCorporation
and
IBooks
(
creator
AppleComputerCorporation
IBookstore
)
ComputingBrands.kif 3306-3306
creator
AppleComputerCorporation
and
IBookstore
(
creator
ByteDance
TikTok
)
ComputingBrands.kif 4591-4591
creator
ByteDance
and
TikTok
(
creator
ByteDance
Toutiao
)
ComputingBrands.kif 4622-4622
creator
ByteDance
and
Toutiao
(
creator
EBay
EBayWebSite
)
ComputingBrands.kif 4677-4677
creator
EBay
and
EBayWebSite
(
creator
FacebookCorporation
Facebook
)
ComputingBrands.kif 69-69
creator
FacebookCorporation
and
Facebook
(
creator
GoogleCorporation
GMail
)
ComputingBrands.kif 3100-3100
creator
GoogleCorporation
and
GMail
(
creator
GoogleCorporation
YouTube
)
ComputingBrands.kif 4635-4635
creator
GoogleCorporation
and
YouTube
(
creator
MicrosoftCorporation
ActiveSync
)
ComputingBrands.kif 1770-1770
creator
MicrosoftCorporation
and
ActiveSync
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