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 397-399
(
domain
disjoint
1
Class
)
Merge.kif 395-395
(
domain
disjoint
2
Class
)
Merge.kif 396-396
(
instance
disjoint
BinaryPredicate
)
Merge.kif 393-393
(
instance
disjoint
SymmetricRelation
)
Merge.kif 394-394
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
(
relatedInternalConcept
disjointRelation
disjoint
)
Merge.kif 414-414
(
termFormat
ChineseLanguage
disjoint
"不相交")
chinese_format.kif 286-286
(
termFormat
ChineseLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19834-19834
(
termFormat
ChineseTraditionalLanguage
disjoint
"不相交的")
domainEnglishFormat.kif 19833-19833
(
termFormat
EnglishLanguage
disjoint
"disjoint")
domainEnglishFormat.kif 19832-19832
antecedent
(=>
(
and
(
domain
?REL1 ?NUMBER ?CLASS1)
(
domain
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 419-424
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 426-431
(=>
(
and
(
range
?REL1 ?CLASS1)
(
range
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 433-438
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 440-445
(=>
(
disjoint
?CLASS1 ?CLASS2)
(
not
(
exists
(?INST)
(
and
(
instance
?INST ?CLASS1)
(
instance
?INST ?CLASS2)))))
Merge.kif 401-407
consequent
(=>
(
disjointDecomposition
?CLASS ?ROW1 ?ROW2 ?ROW3)
(
and
(
disjoint
?ROW1 ?ROW2)
(
disjoint
?ROW2 ?ROW3)
(
disjoint
?ROW3 ?ROW1)))
Merge.kif 2945-2950
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2934-2943
appearance as argument number 0
(
disjoint
AboveTheLine
BelowTheLine
)
MilitaryProcesses.kif 974-974
(
disjoint
Afternoon
Evening
)
Merge.kif 8757-8757
(
disjoint
AltKey
ControlKey
)
ComputerInput.kif 360-360
(
disjoint
AltKey
FunctionKey
)
ComputerInput.kif 362-362
(
disjoint
AltKey
ShiftKey
)
ComputerInput.kif 361-361
(
disjoint
AltKeyHoldDown
ControlKeyHoldDown
)
ComputerInput.kif 1313-1313
(
disjoint
AltKeyHoldDown
ShiftKeyHoldDown
)
ComputerInput.kif 1312-1312
(
disjoint
AnaerobicExerciseDevice
AerobicExerciseDevice
)
Mid-level-ontology.kif 8193-8193
(
disjoint
AnteMeridiem
PostMeridiem
)
Mid-level-ontology.kif 18889-18889
(
disjoint
ApartmentBuilding
SingleFamilyResidence
)
Mid-level-ontology.kif 6897-6897
(
disjoint
ArrowKey
EnterKey
)
ComputerInput.kif 295-295
(
disjoint
Article
Book
)
Mid-level-ontology.kif 14525-14525
(
disjoint
ArtilleryCannon
MilitaryTank
)
MilitaryDevices.kif 172-172
(
disjoint
Asphalt
FossilFuel
)
Economy.kif 5003-5003
(
disjoint
AstronomicalBody
GeographicArea
)
Merge.kif 13882-13882
(
disjoint
Attaching
Detaching
)
Merge.kif 12207-12207
(
disjoint
AudioInput
JoystickMotion
)
ComputerInput.kif 1656-1656
(
disjoint
AudioInput
KeyboardAction
)
ComputerInput.kif 1657-1657
(
disjoint
AudioInput
TouchSurfaceAction
)
ComputerInput.kif 1655-1655
(
disjoint
AutonomicProcess
IntentionalProcess
)
Merge.kif 10116-10116
(
disjoint
Barn
ResidentialBuilding
)
Mid-level-ontology.kif 15584-15584
(
disjoint
BaseballSteal
BaseballHit
)
Sports.kif 739-739
(
disjoint
BaseballSteal
BaseballWalk
)
Sports.kif 738-738
(
disjoint
BaseballStrike
BaseballHit
)
Sports.kif 747-747
(
disjoint
BaseballWalk
BaseballHit
)
Sports.kif 695-695
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