Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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 395-397
(
domain
disjoint
1
Class
)
Merge.kif 393-393
The number 1 argument of
disjoint
is an
instance
of
class
(
domain
disjoint
2
Class
)
Merge.kif 394-394
The number 2 argument of
disjoint
is an
instance
of
class
(
instance
disjoint
BinaryPredicate
)
Merge.kif 391-391
disjoint
is an
instance
of
binary predicate
(
instance
disjoint
SymmetricRelation
)
Merge.kif 392-392
disjoint
is an
instance
of
symmetric relation
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
(
relatedInternalConcept
disjointDecomposition
disjoint
)
Merge.kif 569-569
disjoint decomposition
is
internally
related to
disjoint
(
relatedInternalConcept
disjointRelation
disjoint
)
Merge.kif 412-412
disjoint relation
is
internally
related to
disjoint
(
termFormat
ChineseLanguage
disjoint
"不相交")
chinese_format.kif 286-286
(
termFormat
ChineseLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19839-19839
(
termFormat
ChineseTraditionalLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19838-19838
(
termFormat
EnglishLanguage
disjoint
"disjoint")
domainEnglishFormat.kif 19837-19837
antecedent
(=>
(
and
(
domain
?REL1 ?NUMBER ?CLASS1)
(
domain
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 417-422
If the number
a positive integer
argument of
a relation
is an
instance
of
a class
and the number
the positive integer
argument of
another relation
is an
instance
of
another class
and
the class
is
disjoint
from
the other class
,
then
the relation
and
the other relation
are
disjoint
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 424-429
If the number
a positive integer
argument of
a relation
is a
subclass
of
a class
and the number
the positive integer
argument of
another relation
is a
subclass
of
another class
and
the class
is
disjoint
from
the other class
,
then
the relation
and
the other relation
are
disjoint
(=>
(
and
(
range
?REL1 ?CLASS1)
(
range
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 431-436
If the
range
of
a function
is an instance of
a class
and the
range
of
another function
is an instance of
another class
and
the class
is
disjoint
from
the other class
,
then
the function
and
the other function
are
disjoint
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 438-443
If the values returned by
a function
are
subclasses
of
a kind of class
and the values returned by
another function
are
subclasses
of
another kind of class
and
a kind of class
is
disjoint
from
another kind of class
,
then
the function
and
the other function
are
disjoint
(=>
(
disjoint
?CLASS1 ?CLASS2)
(
not
(
exists
(?INST)
(
and
(
instance
?INST ?CLASS1)
(
instance
?INST ?CLASS2)))))
Merge.kif 399-405
If
a class
is
disjoint
from
another class
,
then there doesn't exist
an entity
such that
the entity
is an
instance
of
the class
and
the entity
is an
instance
of
the other class
consequent
(=>
(
disjointDecomposition
?CLASS ?ROW1 ?ROW2 ?ROW3)
(
and
(
disjoint
?ROW1 ?ROW2)
(
disjoint
?ROW2 ?ROW3)
(
disjoint
?ROW3 ?ROW1)))
Merge.kif 2902-2907
If
a class
is
disjointly
decomposed
into
another class
,
a third class
, and
a fourth class
,
then
the other class
is
disjoint
from
the third class
and
the third class
is
disjoint
from
the fourth class
and
the fourth class
is
disjoint
from
the other 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 2891-2900
If
a class
is
disjointly
decomposed
into @ROW,
then for all
a third class
and
a fourth class
if
the third class
is a
member
of (@ROW) and
the fourth class
is a
member
of (@ROW) and
the third class
is not
equal
to
the fourth class
,
then
the third class
is
disjoint
from
the fourth class
appearance as argument number 0
(
disjoint
AboveTheLine
BelowTheLine
)
MilitaryProcesses.kif 974-974
Above the line
is
disjoint
from
below the line
(
disjoint
Afternoon
Evening
)
Merge.kif 8700-8700
Afternoon
is
disjoint
from
Evening
(
disjoint
AltKey
ControlKey
)
ComputerInput.kif 360-360
AltKey
is
disjoint
from
ControlKey
(
disjoint
AltKey
FunctionKey
)
ComputerInput.kif 362-362
AltKey
is
disjoint
from
FunctionKey
(
disjoint
AltKey
ShiftKey
)
ComputerInput.kif 361-361
AltKey
is
disjoint
from
ShiftKey
(
disjoint
AltKeyHoldDown
ControlKeyHoldDown
)
ComputerInput.kif 1310-1310
AltKeyHoldDown
is
disjoint
from
ControlKeyHoldDown
(
disjoint
AltKeyHoldDown
ShiftKeyHoldDown
)
ComputerInput.kif 1309-1309
AltKeyHoldDown
is
disjoint
from
ShiftKeyHoldDown
(
disjoint
AnaerobicExerciseDevice
AerobicExerciseDevice
)
Mid-level-ontology.kif 7840-7840
Anaerobic exercise device
is
disjoint
from
aerobic exercise device
(
disjoint
AnteMeridiem
PostMeridiem
)
Mid-level-ontology.kif 18482-18482
Ante meridiem
is
disjoint
from
post meridiem
(
disjoint
ApartmentBuilding
SingleFamilyResidence
)
Mid-level-ontology.kif 6601-6601
Apartment building
is
disjoint
from
single family residence
(
disjoint
ArrowKey
EnterKey
)
ComputerInput.kif 295-295
ArrowKey
is
disjoint
from
EnterKey
(
disjoint
Article
Book
)
Mid-level-ontology.kif 14146-14146
Article
is
disjoint
from
book
(
disjoint
ArtilleryCannon
MilitaryTank
)
MilitaryDevices.kif 172-172
Artillery cannon
is
disjoint
from
military tank
(
disjoint
Asphalt
FossilFuel
)
Economy.kif 4997-4997
Asphalt
is
disjoint
from
fossil fuel
(
disjoint
AstronomicalBody
GeographicArea
)
Merge.kif 13776-13776
Astronomical body
is
disjoint
from
geographic area
(
disjoint
Attaching
Detaching
)
Merge.kif 12116-12116
Attaching
is
disjoint
from
detaching
(
disjoint
AudioInput
JoystickMotion
)
ComputerInput.kif 1653-1653
AudioInput
is
disjoint
from
JoystickMotion
(
disjoint
AudioInput
KeyboardAction
)
ComputerInput.kif 1654-1654
AudioInput
is
disjoint
from
KeyboardAction
(
disjoint
AudioInput
TouchSurfaceAction
)
ComputerInput.kif 1652-1652
AudioInput
is
disjoint
from
TouchSurfaceAction
(
disjoint
AutonomicProcess
IntentionalProcess
)
Merge.kif 10078-10078
Autonomic process
is
disjoint
from
intentional process
(
disjoint
Barn
ResidentialBuilding
)
Mid-level-ontology.kif 15186-15186
Barn
is
disjoint
from
residential building
(
disjoint
BaseballSteal
BaseballHit
)
Sports.kif 671-671
Baseball steal
is
disjoint
from
baseball hit
(
disjoint
BaseballSteal
BaseballWalk
)
Sports.kif 670-670
Baseball steal
is
disjoint
from
baseball walk
(
disjoint
BaseballStrike
BaseballHit
)
Sports.kif 679-679
Baseball strike
is
disjoint
from
baseball hit
(
disjoint
BaseballWalk
BaseballHit
)
Sports.kif 627-627
Baseball walk
is
disjoint
from
baseball hit
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