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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13715-13716
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13713-13713
Le nombre 1 argument de
creator
est une
instance
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13714-13714
Le nombre 2 argument de
creator
est une
instance
de
entit�
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13712-13712
creator
est une
instance
de
pr�dicat binaire
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3146-3146
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3145-3145
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3144-3144
No TPTP formula. May not be expressible in strict first order.
Music.kif 137-137
composer
est une
sous
-relation de
creator
No TPTP formula. May not be expressible in strict first order.
Music.kif 156-156
lyricist
est une
sous
-relation de
creator
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13717-13717
antecedent
No TPTP formula. May not be expressible in strict first order.
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�
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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�
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 30-34
Classe
est une
sous
-classe de
AndroidOS
entit�
est une
instance
de
classe
creator
AlphabetCorporation
and
entit�
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 93-97
Classe
est une
sous
-classe de
AppleIOS
entit�
est une
instance
de
classe
creator
AppleComputerCorporation
and
entit�
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 62-66
Classe
est une
sous
-classe de
WindowsOS
entit�
est une
instance
de
classe
creator
MicrosoftCorporation
and
entit�
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 57-59
listingSeller
AutonomousAgent
and
AutonomousAgent
creator
AutonomousAgent
and
AutonomousAgent
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2950-2950
creator
AdobeComputerCorp
and
AdobeFlashPlayer
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 1971-1971
creator
AppleComputer
and
AppleAppStore
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 1858-1858
creator
AppleComputerCorporation
and
AirPlay
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 1900-1900
creator
AppleComputerCorporation
and
AirPrint
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 956-956
creator
AppleComputerCorporation
and
AppleFairPlay
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 989-989
creator
AppleComputerCorporation
and
AppleMigrationAssistant
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 975-975
creator
AppleComputerCorporation
and
AppleSafari
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 982-982
creator
AppleComputerCorporation
and
AppleSetupAssistant
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2433-2433
creator
AppleComputerCorporation
and
CocoaTouch
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3293-3293
creator
AppleComputerCorporation
and
IBooks
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3306-3306
creator
AppleComputerCorporation
and
IBookstore
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4591-4591
creator
ByteDance
and
TikTok
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4622-4622
creator
ByteDance
and
Toutiao
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4677-4677
creator
EBay
and
EBayWebSite
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 69-69
creator
FacebookCorporation
and
Facebook
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3100-3100
creator
GoogleCorporation
and
GMail
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4635-4635
creator
GoogleCorporation
and
YouTube
No TPTP formula. May not be expressible in strict first order.
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