Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Entity
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 390-392
(
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 388-388
disjoint
の数値 1 引数は
クラス
の
instance
では
(
domain
disjoint
2
Class
)
Merge.kif 389-389
disjoint
の数値 2 引数は
クラス
の
instance
では
(
instance
disjoint
BinaryPredicate
)
Merge.kif 386-386
disjoint
は
2進述語
の
instance
では
(
instance
disjoint
SymmetricRelation
)
Merge.kif 387-387
disjoint
は
対称関係
の
instance
では
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 562-562
disjointDecomposition
は
disjoint
に
internally
関連して
(
relatedInternalConcept
disjointRelation
disjoint
)
Merge.kif 407-407
disjointRelation
は
disjoint
に
internally
関連して
(
termFormat
ChineseLanguage
disjoint
"不相交")
chinese_format.kif 286-286
disjointRelation
は
disjoint
に
internally
関連して
(
termFormat
ChineseLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19857-19857
disjointRelation
は
disjoint
に
internally
関連して
(
termFormat
ChineseTraditionalLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19856-19856
disjointRelation
は
disjoint
に
internally
関連して
(
termFormat
EnglishLanguage
disjoint
"disjoint")
domainEnglishFormat.kif 19855-19855
disjointRelation
は
disjoint
に
internally
関連して
(
termFormat
de
disjoint
"disjunkt")
terms-de.txt 115-115
disjointRelation
は
disjoint
に
internally
関連して
(
termFormat
tg
disjoint
"iba")
relations-tg.txt 167-167
disjointRelation
は
disjoint
に
internally
関連して
antecedent
(=>
(
and
(
domain
?REL1 ?NUMBER ?CLASS1)
(
domain
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 412-417
関係
の数値
正の整数
引数は
クラス
の
instance
では
関係
の数値
正の整数
引数は
クラス
の
instance
では
クラス
と
クラス
は
disjoint
では
関係
と
関係
は
disjoint
では
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 419-424
関係
の数値
正の整数
引数は
クラス
の
subclass
では
関係
の数値
正の整数
引数は
クラス
の
subclass
では
クラス
と
クラス
は
disjoint
では
関係
と
関係
は
disjoint
では
(=>
(
and
(
range
?REL1 ?CLASS1)
(
range
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 426-431
関数
の
range
は
クラス
のインスタンス では
関数
の
range
は
クラス
のインスタンス では
クラス
と
クラス
は
disjoint
では
関数
と
関数
は
disjoint
では
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 433-438
関数
が返す値は
クラス
の
subclasses
では
関数
が返す値は
クラス
の
subclasses
では
クラス
と
クラス
は
disjoint
では
関数
と
関数
は
disjoint
では
(=>
(
disjoint
?CLASS1 ?CLASS2)
(
not
(
exists
(?INST)
(
and
(
instance
?INST ?CLASS1)
(
instance
?INST ?CLASS2)))))
Merge.kif 394-400
クラス
と
クラス
は
disjoint
では
エンティティー
エンティティー
は
クラス
の
instance
では
エンティティー
は
クラス
の
instance
では
consequent
(=>
(
disjointDecomposition
?CLASS ?ROW1 ?ROW2 ?ROW3)
(
and
(
disjoint
?ROW1 ?ROW2)
(
disjoint
?ROW2 ?ROW3)
(
disjoint
?ROW3 ?ROW1)))
Merge.kif 2981-2986
クラス
は
クラス
,
クラス
, +
クラス
に
disjointly
decomposed
クラス
と
クラス
は
disjoint
では
クラス
と
クラス
は
disjoint
では
クラス
と
クラス
は
disjoint
では
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2970-2979
クラス
は @ROW に
disjointly
decomposed
クラス
クラス
クラス
は (@ROW) の
member
では
クラス
は (@ROW) の
member
では
equal
クラス
and
クラス
クラス
と
クラス
は
disjoint
では
appearance as argument number 0
(
disjoint
AboveTheLine
BelowTheLine
)
MilitaryProcesses.kif 974-974
AboveTheLine
と
BelowTheLine
は
disjoint
では
(
disjoint
Afternoon
Evening
)
Merge.kif 8905-8905
Afternoon
と
Evening
は
disjoint
では
(
disjoint
AltKey
ControlKey
)
ComputerInput.kif 360-360
AltKey
と
ControlKey
は
disjoint
では
(
disjoint
AltKey
FunctionKey
)
ComputerInput.kif 362-362
AltKey
と
FunctionKey
は
disjoint
では
(
disjoint
AltKey
ShiftKey
)
ComputerInput.kif 361-361
AltKey
と
ShiftKey
は
disjoint
では
(
disjoint
AltKeyHoldDown
ControlKeyHoldDown
)
ComputerInput.kif 1313-1313
AltKeyHoldDown
と
ControlKeyHoldDown
は
disjoint
では
(
disjoint
AltKeyHoldDown
ShiftKeyHoldDown
)
ComputerInput.kif 1312-1312
AltKeyHoldDown
と
ShiftKeyHoldDown
は
disjoint
では
(
disjoint
AnaerobicExerciseDevice
AerobicExerciseDevice
)
Mid-level-ontology.kif 9400-9400
AnaerobicExerciseDevice
と
AerobicExerciseDevice
は
disjoint
では
(
disjoint
AnteMeridiem
PostMeridiem
)
Mid-level-ontology.kif 20678-20678
AnteMeridiem
と
PostMeridiem
は
disjoint
では
(
disjoint
ApartmentBuilding
SingleFamilyResidence
)
Mid-level-ontology.kif 8098-8098
ApartmentBuilding
と
SingleFamilyResidence
は
disjoint
では
(
disjoint
ArrowKey
EnterKey
)
ComputerInput.kif 295-295
ArrowKey
と
EnterKey
は
disjoint
では
(
disjoint
Article
Book
)
Mid-level-ontology.kif 16049-16049
記事
と
本
は
disjoint
では
(
disjoint
ArtilleryCannon
MilitaryTank
)
MilitaryDevices.kif 172-172
ArtilleryCannon
と
MilitaryTank
は
disjoint
では
(
disjoint
Asphalt
FossilFuel
)
Economy.kif 6352-6352
Asphalt
と
FossilFuel
は
disjoint
では
(
disjoint
AstronomicalBody
GeographicArea
)
Merge.kif 14176-14176
天体
と
地理的地域
は
disjoint
では
(
disjoint
Attaching
Detaching
)
Merge.kif 12498-12498
取付け
と
取外し
は
disjoint
では
(
disjoint
AudioInput
JoystickMotion
)
ComputerInput.kif 1656-1656
AudioInput
と
JoystickMotion
は
disjoint
では
(
disjoint
AudioInput
KeyboardAction
)
ComputerInput.kif 1657-1657
AudioInput
と
KeyboardAction
は
disjoint
では
(
disjoint
AudioInput
TouchSurfaceAction
)
ComputerInput.kif 1655-1655
AudioInput
と
TouchSurfaceAction
は
disjoint
では
(
disjoint
AutonomicProcess
IntentionalProcess
)
Merge.kif 10304-10304
AutonomicProcess
と
意図的なプロセス
は
disjoint
では
(
disjoint
Barn
ResidentialBuilding
)
Mid-level-ontology.kif 17110-17110
Barn
と
ResidentialBuilding
は
disjoint
では
(
disjoint
BaseballSteal
BaseballHit
)
Sports.kif 752-752
BaseballSteal
と
BaseballHit
は
disjoint
では
(
disjoint
BaseballSteal
BaseballWalk
)
Sports.kif 751-751
BaseballSteal
と
BaseballWalk
は
disjoint
では
(
disjoint
BaseballStrike
BaseballHit
)
Sports.kif 760-760
BaseballStrike
と
BaseballHit
は
disjoint
では
(
disjoint
BaseballWalk
BaseballHit
)
Sports.kif 708-708
BaseballWalk
と
BaseballHit
は
disjoint
では
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