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
creator
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 13715-13716
(
domain
creator
1
AutonomousAgent
)
Mid-level-ontology.kif 13713-13713
Le nombre 1 argument de
creator
est une
instance
de
AutonomousAgent
(
domain
creator
2
Entity
)
Mid-level-ontology.kif 13714-13714
Le nombre 2 argument de
creator
est une
instance
de
entit�
(
instance
creator
BinaryPredicate
)
Mid-level-ontology.kif 13712-13712
creator
est une
instance
de
pr�dicat binaire
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
est une
sous
-relation de
creator
(
subrelation
lyricist
creator
)
Music.kif 156-156
lyricist
est une
sous
-relation de
creator
(
termFormat
EnglishLanguage
creator
"creator")
Mid-level-ontology.kif 13717-13717
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
Objet
est une
instance
de
WebListing
processus
est une
instance
de
objet
agent cognitif
est une
instance
de
AutonomousAgent
AuctionAttribute
est un
attribut
de
objet
objet
est un
patient
de
processus
creator
agent cognitif
and
objet
agent cognitif
desire
entit�
entit�
est une
instance
de
Auctioning
processus
est un
patient
de
entit�
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE)
(
creator
?LISTING ?AGENT))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 39-45
AutonomousAgent
est une
instance
de
WebListing
WebSite
est une
instance
de
WebSite
hostedOn
AutonomousAgent
and
WebSite
creator
AutonomousAgent
and
humain
webSeller
humain
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
Objet corpusculaire
est une
instance
de
DigitalPost
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet corpusculaire
est un
composant
de
WebSite
creator
AutonomousAgent
and
objet corpusculaire
registeredUser
AutonomousAgent
and
WebSite
objet corpusculaire
a pour
but
entit�
entit�
est une
instance
de
disseminer
entit�
est un
agent
de
AutonomousAgent
objet corpusculaire
est un
patient
de
entit�
WebSite
est un
instrument
pour
entit�
(=>
(
creator
?AGENT ?ENTITY)
(
exists
(?CREATION)
(
and
(
instance
?CREATION
Creation
)
(
agent
?CREATION ?AGENT)
(
result
?CREATION ?ENTITY))))
Mid-level-ontology.kif 13718-13724
creator
AutonomousAgent
and
entit�
processus
processus
est une
instance
de
cr�ation
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
consequent
(=>
(
and
(
subclass
?OS
AndroidOS
)
(
instance
?INST ?OS))
(
creator
AlphabetCorporation
?INST))
ComputingBrands.kif 30-34
Classe
est une
sous
-classe de
AndroidOS
entit�
est une
instance
de
classe
creator
AlphabetCorporation
and
entit�
(=>
(
and
(
subclass
?OS
AppleIOS
)
(
instance
?INST ?OS))
(
creator
AppleComputerCorporation
?INST))
ComputingBrands.kif 93-97
Classe
est une
sous
-classe de
AppleIOS
entit�
est une
instance
de
classe
creator
AppleComputerCorporation
and
entit�
(=>
(
and
(
subclass
?OS
WindowsOS
)
(
instance
?INST ?OS))
(
creator
MicrosoftCorporation
?INST))
ComputingBrands.kif 62-66
Classe
est une
sous
-classe de
WindowsOS
entit�
est une
instance
de
classe
creator
MicrosoftCorporation
and
entit�
(=>
(
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