disjoint |
appearance as argument number 1 |
![]() |
(documentation disjoint ChineseLanguage "如果 Class 和 Class 之间没有共同案例的话, 那么它们 就是 disjoint,也就是以防万一应用 IntersectionFn 的时候出现空的的结果。") | chinese_format.kif 1500-1501 | |
(documentation disjoint EnglishLanguage "Classes 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 |
![]() |
![]() |