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
domain
Sigma KEE - domain
domain
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1380-1385
No TPTP formula. May not be expressible in strict first order.
Merge.kif 211-219
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 38-44
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 40-48
No TPTP formula. May not be expressible in strict first order.
Merge.kif 208-208
O argumento numero 1 de
domain
e' uma
instancia
de
Relacao
No TPTP formula. May not be expressible in strict first order.
Merge.kif 209-209
O argumento numero 2 de
domain
e' uma
instancia
de
Inteiro positivo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 210-210
O argumento numero 3 de
domain
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 207-207
domain
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 291-291
No TPTP formula. May not be expressible in strict first order.
english_format.kif 296-296
No TPTP formula. May not be expressible in strict first order.
french_format.kif 168-168
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 82-82
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1988-1988
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 120-120
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 177-177
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 378-378
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 122-122
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 188-188
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 175-175
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 116-116
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20112-20112
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 292-292
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20111-20111
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20110-20110
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 118-118
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 180-180
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31387-31394
applicableRelation
Objeto
and
Relacao
Objeto
e' uma
instancia
de
Objeto
C o argumento numero 1 de
Relacao
e' uma
instancia
de
Classe
Objeto
C e'
igual
a
Classe
Objeto
C e' uma
sub
-classe de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2998-3003
O argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
Relacao
e' uma
instancia
de
Predicado
Relacao
@ROW
Inteiro positivo
th
elemento
de (@ROW) e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 221-227
O argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 419-424
O argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
Classe
e'
disjunto
de
Classe
Relacao
e
Relacao
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16905-16909
Relacao
e' uma
instancia
de
EconomicRelation
o argumento numero 1 de
Relacao
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 186-190
Relacao
e' uma
sub
-relacao de
Relacao
o argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 186-190
Relacao
e' uma
sub
-relacao de
Relacao
o argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3375-3385
Funcao
e' uma
instancia
de
Funcao Injetiva
Entidade
Entidade
Classe
o argumento numero 1 de
Funcao
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Entidade
e'
igual
a
Entidade
Funcao
(
Entidade
) e'
igual
a
Funcao
(
Entidade
)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3418-3428
Funcao
e' uma
instancia
de
Funcao Associativa
Entidade
Entidade
,
Entidade
and
Classe
o argumento numero 1 de
Funcao
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Funcao
(
Entidade
+
Funcao
(
Entidade
+
Entidade
)) e'
igual
a
Funcao
(
Funcao
(
Entidade
+
Entidade
) +
Entidade
)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3438-3448
Funcao
e' uma
instancia
de
Funcao Commutativa
Entidade
Entidade
and
Classe
o argumento numero 1 de
Funcao
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Funcao
(
Entidade
+
Entidade
) e'
igual
a
Funcao
(
Entidade
+
Entidade
)
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3225-3225
O argumento numero 1 de
ABPFn
e' uma
instancia
de
Colecao
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3270-3270
O argumento numero 1 de
ASPFn
e' uma
instancia
de
Colecao
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2411-2411
O argumento numero 1 de
AbortedFn
e' uma
instancia
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2412-2412
O argumento numero 2 de
AbortedFn
e' uma
instancia
de
Processo
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2477-2477
O argumento numero 2 de
AbortedLaunchFn
e' uma
instancia
de
TakingOff
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2431-2431
O argumento numero 2 de
AbortedMissionFn
e' uma
instancia
de
MilitaryOperation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4762-4762
O argumento numero 1 de
AbsoluteValueFn
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1274-1274
O argumento numero 1 de
AccelerationFn
e' uma
instancia
de
Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1275-1275
O argumento numero 2 de
AccelerationFn
e' uma
instancia
de
Duracao Temporal
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1276-1276
O argumento numero 3 de
AccelerationFn
e' uma
instancia
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1277-1277
O argumento numero 4 de
AccelerationFn
e' uma
instancia
de
Atributo Directional
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2316-2316
O argumento numero 1 de
AccountFn
e' uma
instancia
de
FinancialAsset
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4712-4712
O argumento numero 1 de
AdditionFn
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4713-4713
O argumento numero 2 de
AdditionFn
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 223-223
O argumento numero 1 de
AddressFn
e' uma
instancia
de
ComputerFile
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8834-8834
O argumento numero 1 de
AfternoonFn
e' uma
instancia
de
Dia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3056-3056
O argumento numero 1 de
AgreementOrganizationFn
e' uma
instancia
de
Agreement
No TPTP formula. May not be expressible in strict first order.
Music.kif 930-930
O argumento numero 1 de
AlbumCopiesFn
e' uma
instancia
de
Album
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7578-7578
O argumento numero 2 de
AmountsFn
e' uma
instancia
de
Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7579-7579
O argumento numero 3 de
AmountsFn
e' uma
instancia
de
UnitOfMass
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5259-5259
O argumento numero 1 de
ArcCosineFn
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5269-5269
O argumento numero 1 de
ArcSineFn
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5249-5249
O argumento numero 1 de
ArcTangentFn
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 786-786
O argumento numero 1 de
AssignmentFn
e' uma
instancia
de
Funcao
No TPTP formula. May not be expressible in strict first order.
Merge.kif 787-787
O argumento numero 2 de
AssignmentFn
e' uma
instancia
de
Entidade
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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