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
O argumento numero 1 de
creator
e' uma
instancia
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13714-13714
O argumento numero 2 de
creator
e' uma
instancia
de
Entidade
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13712-13712
creator
e' uma
instancia
de
Predicado Binario
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
e' uma
sub
-relacao de
creator
No TPTP formula. May not be expressible in strict first order.
Music.kif 156-156
lyricist
e' uma
sub
-relacao 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
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13718-13724
creator
AutonomousAgent
and
Entidade
Processo
Processo
e' uma
instancia
de
Criacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
consequent
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 30-34
Classe
e' uma
sub
-classe de
AndroidOS
Entidade
e' uma
instancia
de
Classe
creator
AlphabetCorporation
and
Entidade
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 93-97
Classe
e' uma
sub
-classe de
AppleIOS
Entidade
e' uma
instancia
de
Classe
creator
AppleComputerCorporation
and
Entidade
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 62-66
Classe
e' uma
sub
-classe de
WindowsOS
Entidade
e' uma
instancia
de
Classe
creator
MicrosoftCorporation
and
Entidade
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