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
creator
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
creator
2
Entity
)
Mid-level-ontology.kif 13714-13714
creator
の数値 2 引数は
エンティティー
の
instance
では %n
(
instance
creator
BinaryPredicate
)
Mid-level-ontology.kif 13712-13712
creator
は
2進述語
の
instance
では %n
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
は
creator
の
subrelation
では %n
(
subrelation
lyricist
creator
)
Music.kif 156-156
lyricist
は
creator
の
subrelation
では %n
(
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
オブジェクト
は
WebListing
の
instance
では %n
工程
は
オブジェクト
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
instance
では %n
AuctionAttribute
は
オブジェクト
の
attribute
では %n
オブジェクト
は
工程
の
patient
では %n
creator
認識エージェント
and
オブジェクト
認識エージェント
が
エンティティー
エンティティー
は
Auctioning
の
instance
では %n
工程
は
エンティティー
の
patient
では %n を
desire
s %n{ない}
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE)
(
creator
?LISTING ?AGENT))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 39-45
AutonomousAgent
は
WebListing
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
hostedOn
AutonomousAgent
and
WebSite
creator
AutonomousAgent
and
人[人間]
webSeller
人[人間]
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
微粒子オブジェクト
は
DigitalPost
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
微粒子オブジェクト
は
WebSite
の
component
では %n
creator
AutonomousAgent
and
微粒子オブジェクト
registeredUser
AutonomousAgent
and
WebSite
微粒子オブジェクト
は
エンティティー
エンティティー
は
普及
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
微粒子オブジェクト
は
エンティティー
の
patient
では %n
WebSite
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
creator
?AGENT ?ENTITY)
(
exists
(?CREATION)
(
and
(
instance
?CREATION
Creation
)
(
agent
?CREATION ?AGENT)
(
result
?CREATION ?ENTITY))))
Mid-level-ontology.kif 13718-13724
creator
AutonomousAgent
and
エンティティー
工程
工程
は
創造
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
consequent
(=>
(
and
(
subclass
?OS
AndroidOS
)
(
instance
?INST ?OS))
(
creator
AlphabetCorporation
?INST))
ComputingBrands.kif 30-34
クラス
は
Android
の
subclass
では %n
エンティティー
は
クラス
の
instance
では %n
creator
Alphabet
and
エンティティー
(=>
(
and
(
subclass
?OS
AppleIOS
)
(
instance
?INST ?OS))
(
creator
AppleComputerCorporation
?INST))
ComputingBrands.kif 93-97
クラス
は
IOS
の
subclass
では %n
エンティティー
は
クラス
の
instance
では %n
creator
Apple
and
エンティティー
(=>
(
and
(
subclass
?OS
WindowsOS
)
(
instance
?INST ?OS))
(
creator
MicrosoftCorporation
?INST))
ComputingBrands.kif 62-66
クラス
は
WindowsOS
の
subclass
では %n
エンティティー
は
クラス
の
instance
では %n
creator
マイクロソフト
and
エンティティー
(=>
(
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
Adobe
and
Flash
(
creator
AppleComputer
AppleAppStore
)
ComputingBrands.kif 1971-1971
creator
AppleComputer
and
Apple app store
(
creator
AppleComputerCorporation
AirPlay
)
ComputingBrands.kif 1858-1858
creator
Apple
and
AirPlay
(
creator
AppleComputerCorporation
AirPrint
)
ComputingBrands.kif 1900-1900
creator
Apple
and
AirPrint
(
creator
AppleComputerCorporation
AppleFairPlay
)
ComputingBrands.kif 956-956
creator
Apple
and
FairPlay
(
creator
AppleComputerCorporation
AppleMigrationAssistant
)
ComputingBrands.kif 989-989
creator
Apple
and
Migration Assistant
(
creator
AppleComputerCorporation
AppleSafari
)
ComputingBrands.kif 975-975
creator
Apple
and
Safari
(
creator
AppleComputerCorporation
AppleSetupAssistant
)
ComputingBrands.kif 982-982
creator
Apple
and
設定アシスタント
(
creator
AppleComputerCorporation
CocoaTouch
)
ComputingBrands.kif 2433-2433
creator
Apple
and
Cocoa Touch
(
creator
AppleComputerCorporation
IBooks
)
ComputingBrands.kif 3293-3293
creator
Apple
and
AppleBooks
(
creator
AppleComputerCorporation
IBookstore
)
ComputingBrands.kif 3306-3306
creator
Apple
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
Facebook
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
マイクロソフト
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