Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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
(
domain
disjoint
1
SetOrClass
)
Merge.kif 395-395
domain
disjoint
, 1 and
SetOrClass
(
domain
disjoint
2
SetOrClass
)
Merge.kif 396-396
domain
disjoint
, 2 and
SetOrClass
(
instance
disjoint
BinaryPredicate
)
Merge.kif 393-393
instance
disjoint
and
BinaryPredicate
(
instance
disjoint
SymmetricRelation
)
Merge.kif 394-394
instance
disjoint
and
SymmetricRelation
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 293-293
(
relatedInternalConcept
disjointDecomposition
disjoint
)
Merge.kif 570-570
relatedInternalConcept
disjointDecomposition
and
disjoint
(
relatedInternalConcept
disjointRelation
disjoint
)
Merge.kif 414-414
relatedInternalConcept
disjointRelation
and
disjoint
(
termFormat
ChineseLanguage
disjoint
"不相交")
chinese_format.kif 286-286
(
termFormat
ChineseLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19780-19780
(
termFormat
ChineseTraditionalLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19779-19779
(
termFormat
EnglishLanguage
disjoint
"disjoint")
domainEnglishFormat.kif 19778-19778
antecedent
(=>
(
and
(
domain
?REL1 ?NUMBER ?CLASS1)
(
domain
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 419-424
domain
Relation
,
PositiveInteger
and
SetOrClass
domain
Relation
,
PositiveInteger
and
SetOrClass
disjoint
SetOrClass
and
SetOrClass
disjointRelation
Relation
and
Relation
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 426-431
domainSubclass
Relation
,
PositiveInteger
and
SetOrClass
domainSubclass
Relation
,
PositiveInteger
and
SetOrClass
disjoint
SetOrClass
and
SetOrClass
disjointRelation
Relation
and
Relation
(=>
(
and
(
range
?REL1 ?CLASS1)
(
range
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 433-438
range
Function
and
SetOrClass
range
Function
and
SetOrClass
disjoint
SetOrClass
and
SetOrClass
disjointRelation
Function
and
Function
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 440-445
rangeSubclass
Function
and
SetOrClass
rangeSubclass
Function
and
SetOrClass
disjoint
SetOrClass
and
SetOrClass
disjointRelation
Function
and
Function
(=>
(
disjoint
?CLASS1 ?CLASS2)
(
forall
(?INST)
(
not
(
and
(
instance
?INST ?CLASS1)
(
instance
?INST ?CLASS2)))))
Merge.kif 401-407
disjoint
SetOrClass
and
SetOrClass
Entity
~{
instance
Entity
and
SetOrClass
} ~{
instance
Entity
and
SetOrClass
}
consequent
(=>
(
disjointDecomposition
?CLASS ?ROW1 ?ROW2 ?ROW3)
(
and
(
disjoint
?ROW1 ?ROW2)
(
disjoint
?ROW2 ?ROW3)
(
disjoint
?ROW3 ?ROW1)))
Merge.kif 2862-2867
disjointDecomposition
Class
,
Class
,
SetOrClass
and
SetOrClass
disjoint
Class
and
SetOrClass
disjoint
SetOrClass
and
SetOrClass
disjoint
SetOrClass
and
Class
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2851-2860
disjointDecomposition
Class
and @ROW
SetOrClass
SetOrClass
inList
SetOrClass
and
ListFn
@ROW
inList
SetOrClass
and
ListFn
@ROW
equal
SetOrClass
and
SetOrClass
disjoint
SetOrClass
and
SetOrClass
appearance as argument number 0
(
disjoint
AboveTheLine
BelowTheLine
)
MilitaryProcesses.kif 973-973
disjoint
AboveTheLine
and
BelowTheLine
(
disjoint
Afternoon
Evening
)
Merge.kif 8266-8266
disjoint
Afternoon
and
Evening
(
disjoint
AltKey
ControlKey
)
ComputerInput.kif 382-382
disjoint
AltKey
and
ControlKey
(
disjoint
AltKey
FunctionKey
)
ComputerInput.kif 384-384
disjoint
AltKey
and
FunctionKey
(
disjoint
AltKey
ShiftKey
)
ComputerInput.kif 383-383
disjoint
AltKey
and
ShiftKey
(
disjoint
AltKeyHoldDown
ControlKeyHoldDown
)
ComputerInput.kif 1340-1340
disjoint
AltKeyHoldDown
and
ControlKeyHoldDown
(
disjoint
AltKeyHoldDown
ShiftKeyHoldDown
)
ComputerInput.kif 1339-1339
disjoint
AltKeyHoldDown
and
ShiftKeyHoldDown
(
disjoint
AnaerobicExerciseDevice
AerobicExerciseDevice
)
Mid-level-ontology.kif 7889-7889
disjoint
AnaerobicExerciseDevice
and
AerobicExerciseDevice
(
disjoint
AnteMeridiem
PostMeridiem
)
Mid-level-ontology.kif 16922-16922
disjoint
AnteMeridiem
and
PostMeridiem
(
disjoint
ApartmentBuilding
SingleFamilyResidence
)
Mid-level-ontology.kif 6589-6589
disjoint
ApartmentBuilding
and
SingleFamilyResidence
(
disjoint
ArrowKey
EnterKey
)
ComputerInput.kif 317-317
disjoint
ArrowKey
and
EnterKey
(
disjoint
Article
Book
)
Mid-level-ontology.kif 12449-12449
disjoint
Article
and
Book
(
disjoint
ArtilleryCannon
MilitaryTank
)
MilitaryDevices.kif 172-172
disjoint
ArtilleryCannon
and
MilitaryTank
(
disjoint
Asphalt
FossilFuel
)
Economy.kif 4839-4839
disjoint
Asphalt
and
FossilFuel
(
disjoint
AstronomicalBody
GeographicArea
)
Merge.kif 13022-13022
disjoint
AstronomicalBody
and
GeographicArea
(
disjoint
Attaching
Detaching
)
Merge.kif 11493-11493
disjoint
Attaching
and
Detaching
(
disjoint
AudioInput
JoystickMotion
)
ComputerInput.kif 1671-1671
disjoint
AudioInput
and
JoystickMotion
(
disjoint
AudioInput
KeyboardAction
)
ComputerInput.kif 1672-1672
disjoint
AudioInput
and
KeyboardAction
(
disjoint
AudioInput
TouchSurfaceAction
)
ComputerInput.kif 1670-1670
disjoint
AudioInput
and
TouchSurfaceAction
(
disjoint
AutonomicProcess
IntentionalProcess
)
Merge.kif 9597-9597
disjoint
AutonomicProcess
and
IntentionalProcess
(
disjoint
Barn
ResidentialBuilding
)
Mid-level-ontology.kif 13415-13415
disjoint
Barn
and
ResidentialBuilding
(
disjoint
BaseballSteal
BaseballHit
)
Sports.kif 626-626
disjoint
BaseballSteal
and
BaseballHit
(
disjoint
BaseballSteal
BaseballWalk
)
Sports.kif 625-625
disjoint
BaseballSteal
and
BaseballWalk
(
disjoint
BaseballStrike
BaseballHit
)
Sports.kif 634-634
disjoint
BaseballStrike
and
BaseballHit
(
disjoint
BaseballWalk
BaseballHit
)
Sports.kif 582-582
disjoint
BaseballWalk
and
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