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
(
documentation
disjoint
ChineseLanguage
"如果
Class
和
Class
之间没有共同案例的话, 那么它们 就是
disjoint
,也就是以防万一应用
IntersectionFn
的时候出现空的的结果。")
chinese_format.kif 1500-1501
(
documentation
disjoint
EnglishLanguage
"
Class
es are
disjoint
only if they share no instances, i.e. just in case the result of applying
IntersectionFn
to them is empty.")
Merge.kif 397-399
(
documentation
disjoint
JapaneseLanguage
"
Class
es は、 インスタンスを共有しない場合のみ
disjoint
である。例えば、
IntersectionFn
をそれらに適用した結果空の場合に備えて。")
japanese_format.kif 63-64
(
documentation
disjoint
SpanishLanguage
"
Class
es son
disjoint
sólo si no comparten instancias, por ejemplo, en el caso de aplicar
IntersectionFn
resulta que están vacías.")
spanish_format.kif 72-74
(
domain
disjoint
1
Class
)
Merge.kif 395-395
O argumento numero 1 de
disjoint
e' uma
instancia
de
Classe
(
domain
disjoint
2
Class
)
Merge.kif 396-396
O argumento numero 2 de
disjoint
e' uma
instancia
de
Classe
(
instance
disjoint
BinaryPredicate
)
Merge.kif 393-393
disjoint
e' uma
instancia
de
Predicado Binario
(
instance
disjoint
SymmetricRelation
)
Merge.kif 394-394
disjoint
e' uma
instancia
de
Relacao Simetrica
appearance as argument number 2
(
format
ChineseLanguage
disjoint
"%1 和 % 2 %n 是
disjoint
")
chinese_format.kif 285-285
(
format
EnglishLanguage
disjoint
"%1 is %n
disjoint
from %2")
english_format.kif 290-290
(
format
FrenchLanguage
disjoint
"%1 est %n
disjoint
de %2")
french_format.kif 165-165
(
format
ItalianLanguage
disjoint
"%1 è %n disgiunto da %2")
relations-it.txt 75-75
(
format
JapaneseLanguage
disjoint
"%1 と %2 は
disjoint
では %n")
japanese_format.kif 1985-1985
(
format
PortugueseLanguage
disjoint
"%1 e' %n disjunto de %2")
portuguese_format.kif 117-117
(
format
cb
disjoint
"%1 %n ay lahi sa %2")
relations-cb.txt 109-109
(
format
cz
disjoint
"%1 %p{je} %n{nen�}
disjoint
from %2")
relations-cz.txt 182-182
(
format
de
disjoint
"%1 ist dijunkt von %2 %n{nicht}")
relations-de.txt 370-370
(
format
hi
disjoint
"%1 %2 se asanyukta %n hai")
relations-hindi.txt 59-59
(
format
ro
disjoint
"%1 %n{nu} este
disjoint
%t{disjunct} faþã de %2")
relations-ro.kif 185-185
(
format
sv
disjoint
"%1 är %n{inte} disjunkt med %2")
relations-sv.txt 172-172
(
format
tg
disjoint
"%1 %n ay iba ng %2")
relations-tg.txt 166-166
(
relatedInternalConcept
disjointDecomposition
disjoint
)
Merge.kif 569-569
disjointDecomposition
e'
relacionado
internamente por SUMO a
disjoint
(
relatedInternalConcept
disjointRelation
disjoint
)
Merge.kif 414-414
disjointRelation
e'
relacionado
internamente por SUMO a
disjoint
(
termFormat
ChineseLanguage
disjoint
"不相交")
chinese_format.kif 286-286
(
termFormat
ChineseLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19848-19848
(
termFormat
ChineseTraditionalLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19847-19847
(
termFormat
EnglishLanguage
disjoint
"disjoint")
domainEnglishFormat.kif 19846-19846
(
termFormat
de
disjoint
"disjunkt")
terms-de.txt 115-115
(
termFormat
tg
disjoint
"iba")
relations-tg.txt 167-167
antecedent
(=>
(
and
(
domain
?REL1 ?NUMBER ?CLASS1)
(
domain
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
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
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
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
(=>
(
and
(
range
?REL1 ?CLASS1)
(
range
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
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
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
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
(=>
(
disjoint
?CLASS1 ?CLASS2)
(
not
(
exists
(?INST)
(
and
(
instance
?INST ?CLASS1)
(
instance
?INST ?CLASS2)))))
Merge.kif 401-407
Classe
e'
disjunto
de
Classe
Entidade
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
consequent
(=>
(
disjointDecomposition
?CLASS ?ROW1 ?ROW2 ?ROW3)
(
and
(
disjoint
?ROW1 ?ROW2)
(
disjoint
?ROW2 ?ROW3)
(
disjoint
?ROW3 ?ROW1)))
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
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
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
(
disjoint
AboveTheLine
BelowTheLine
)
MilitaryProcesses.kif 974-974
AboveTheLine
e'
disjunto
de
BelowTheLine
(
disjoint
Afternoon
Evening
)
Merge.kif 8792-8792
Afternoon
e'
disjunto
de
Evening
(
disjoint
AltKey
ControlKey
)
ComputerInput.kif 360-360
AltKey
e'
disjunto
de
ControlKey
(
disjoint
AltKey
FunctionKey
)
ComputerInput.kif 362-362
AltKey
e'
disjunto
de
FunctionKey
(
disjoint
AltKey
ShiftKey
)
ComputerInput.kif 361-361
AltKey
e'
disjunto
de
ShiftKey
(
disjoint
AltKeyHoldDown
ControlKeyHoldDown
)
ComputerInput.kif 1313-1313
AltKeyHoldDown
e'
disjunto
de
ControlKeyHoldDown
(
disjoint
AltKeyHoldDown
ShiftKeyHoldDown
)
ComputerInput.kif 1312-1312
AltKeyHoldDown
e'
disjunto
de
ShiftKeyHoldDown
(
disjoint
AnaerobicExerciseDevice
AerobicExerciseDevice
)
Mid-level-ontology.kif 8233-8233
AnaerobicExerciseDevice
e'
disjunto
de
AerobicExerciseDevice
(
disjoint
AnteMeridiem
PostMeridiem
)
Mid-level-ontology.kif 19107-19107
AnteMeridiem
e'
disjunto
de
PostMeridiem
(
disjoint
ApartmentBuilding
SingleFamilyResidence
)
Mid-level-ontology.kif 6937-6937
ApartmentBuilding
e'
disjunto
de
SingleFamilyResidence
(
disjoint
ArrowKey
EnterKey
)
ComputerInput.kif 295-295
ArrowKey
e'
disjunto
de
EnterKey
(
disjoint
Article
Book
)
Mid-level-ontology.kif 14678-14678
Artigo
e'
disjunto
de
Livro
(
disjoint
ArtilleryCannon
MilitaryTank
)
MilitaryDevices.kif 172-172
ArtilleryCannon
e'
disjunto
de
MilitaryTank
(
disjoint
Asphalt
FossilFuel
)
Economy.kif 5954-5954
Asphalt
e'
disjunto
de
FossilFuel
(
disjoint
AstronomicalBody
GeographicArea
)
Merge.kif 14023-14023
Corpo Astronomico
e'
disjunto
de
Area Geografica
(
disjoint
Attaching
Detaching
)
Merge.kif 12348-12348
Colar
e'
disjunto
de
Descolar
(
disjoint
AudioInput
JoystickMotion
)
ComputerInput.kif 1656-1656
AudioInput
e'
disjunto
de
JoystickMotion
(
disjoint
AudioInput
KeyboardAction
)
ComputerInput.kif 1657-1657
AudioInput
e'
disjunto
de
KeyboardAction
(
disjoint
AudioInput
TouchSurfaceAction
)
ComputerInput.kif 1655-1655
AudioInput
e'
disjunto
de
TouchSurfaceAction
(
disjoint
AutonomicProcess
IntentionalProcess
)
Merge.kif 10164-10164
AutonomicProcess
e'
disjunto
de
Processo Intencional
(
disjoint
Barn
ResidentialBuilding
)
Mid-level-ontology.kif 15737-15737
Barn
e'
disjunto
de
ResidentialBuilding
(
disjoint
BaseballSteal
BaseballHit
)
Sports.kif 740-740
BaseballSteal
e'
disjunto
de
BaseballHit
(
disjoint
BaseballSteal
BaseballWalk
)
Sports.kif 739-739
BaseballSteal
e'
disjunto
de
BaseballWalk
(
disjoint
BaseballStrike
BaseballHit
)
Sports.kif 748-748
BaseballStrike
e'
disjunto
de
BaseballHit
(
disjoint
BaseballWalk
BaseballHit
)
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