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
disjoint
Sigma KEE - disjoint
disjoint
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1500-1501
No TPTP formula. May not be expressible in strict first order.
Merge.kif 397-399
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 63-64
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 72-74
No TPTP formula. May not be expressible in strict first order.
Merge.kif 395-395
O argumento numero 1 de
disjoint
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 396-396
O argumento numero 2 de
disjoint
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 393-393
disjoint
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 394-394
disjoint
e' uma
instancia
de
Relacao Simetrica
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 285-285
No TPTP formula. May not be expressible in strict first order.
english_format.kif 290-290
No TPTP formula. May not be expressible in strict first order.
french_format.kif 165-165
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 75-75
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1985-1985
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 117-117
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 109-109
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 182-182
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 370-370
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 59-59
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 185-185
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 172-172
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 166-166
No TPTP formula. May not be expressible in strict first order.
Merge.kif 569-569
disjointDecomposition
e'
relacionado
internamente por SUMO a
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 414-414
disjointRelation
e'
relacionado
internamente por SUMO a
disjoint
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 286-286
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19848-19848
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19847-19847
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19846-19846
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 115-115
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 167-167
antecedent
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.
Merge.kif 426-431
O argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
Classe
e'
disjunto
de
Classe
Relacao
e
Relacao
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 433-438
O
contra
-dominio de
Funcao
e' uma instancia de
Classe
o
contra
-dominio de
Funcao
e' uma instancia de
Classe
Classe
e'
disjunto
de
Classe
Funcao
e
Funcao
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 440-445
Os valores retornados por
Funcao
sao as
sub
-classes de
Classe
os valores retornados por
Funcao
sao as
sub
-classes de
Classe
Classe
e'
disjunto
de
Classe
Funcao
e
Funcao
sao
disjuntos
No TPTP formula. May not be expressible in strict first order.
Merge.kif 401-407
Classe
e'
disjunto
de
Classe
Entidade
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2968-2973
Classe
e'
disjuntamente
decomponivel
em
Classe
,
Classe
, +
Classe
Classe
e'
disjunto
de
Classe
Classe
e'
disjunto
de
Classe
Classe
e'
disjunto
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2957-2966
Classe
e'
disjuntamente
decomponivel
em @ROW
Classe
Classe
Classe
e' um
membro
de (@ROW)
Classe
e' um
membro
de (@ROW)
Classe
e'
igual
a
Classe
Classe
e'
disjunto
de
Classe
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 974-974
AboveTheLine
e'
disjunto
de
BelowTheLine
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8792-8792
Afternoon
e'
disjunto
de
Evening
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 360-360
AltKey
e'
disjunto
de
ControlKey
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 362-362
AltKey
e'
disjunto
de
FunctionKey
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 361-361
AltKey
e'
disjunto
de
ShiftKey
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1313-1313
AltKeyHoldDown
e'
disjunto
de
ControlKeyHoldDown
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1312-1312
AltKeyHoldDown
e'
disjunto
de
ShiftKeyHoldDown
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8233-8233
AnaerobicExerciseDevice
e'
disjunto
de
AerobicExerciseDevice
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19107-19107
AnteMeridiem
e'
disjunto
de
PostMeridiem
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6937-6937
ApartmentBuilding
e'
disjunto
de
SingleFamilyResidence
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 295-295
ArrowKey
e'
disjunto
de
EnterKey
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14678-14678
Artigo
e'
disjunto
de
Livro
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 172-172
ArtilleryCannon
e'
disjunto
de
MilitaryTank
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5954-5954
Asphalt
e'
disjunto
de
FossilFuel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14023-14023
Corpo Astronomico
e'
disjunto
de
Area Geografica
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12348-12348
Colar
e'
disjunto
de
Descolar
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1656-1656
AudioInput
e'
disjunto
de
JoystickMotion
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1657-1657
AudioInput
e'
disjunto
de
KeyboardAction
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1655-1655
AudioInput
e'
disjunto
de
TouchSurfaceAction
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10164-10164
AutonomicProcess
e'
disjunto
de
Processo Intencional
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 15737-15737
Barn
e'
disjunto
de
ResidentialBuilding
No TPTP formula. May not be expressible in strict first order.
Sports.kif 740-740
BaseballSteal
e'
disjunto
de
BaseballHit
No TPTP formula. May not be expressible in strict first order.
Sports.kif 739-739
BaseballSteal
e'
disjunto
de
BaseballWalk
No TPTP formula. May not be expressible in strict first order.
Sports.kif 748-748
BaseballStrike
e'
disjunto
de
BaseballHit
No TPTP formula. May not be expressible in strict first order.
Sports.kif 696-696
BaseballWalk
e'
disjunto
de
BaseballHit
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