| 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 395-397 | |
| (domain disjoint 1 Class) | Merge.kif 393-393 | |
| (domain disjoint 2 Class) | Merge.kif 394-394 | |
| (instance disjoint BinaryPredicate) | Merge.kif 391-391 | |
| (instance disjoint SymmetricRelation) | Merge.kif 392-392 |
| 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 412-412 | |
| (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 | |
| (=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 424-429 | |
| (=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 431-436 | |
| (=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 438-443 | |
| (=> (disjoint ?CLASS1 ?CLASS2) (not (exists (?INST) (and (instance ?INST ?CLASS1) (instance ?INST ?CLASS2))))) |
Merge.kif 399-405 |
| consequent |
|
|
| (=> (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3) (and (disjoint ?ROW1 ?ROW2) (disjoint ?ROW2 ?ROW3) (disjoint ?ROW3 ?ROW1))) |
Merge.kif 2902-2907 | |
| (=> (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 |
| appearance as argument number 0 |
|
|
| (disjoint AboveTheLine BelowTheLine) | MilitaryProcesses.kif 974-974 | |
| (disjoint Afternoon Evening) | Merge.kif 8700-8700 | |
| (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 1310-1310 | |
| (disjoint AltKeyHoldDown ShiftKeyHoldDown) | ComputerInput.kif 1309-1309 | |
| (disjoint AnaerobicExerciseDevice AerobicExerciseDevice) | Mid-level-ontology.kif 7840-7840 | |
| (disjoint AnteMeridiem PostMeridiem) | Mid-level-ontology.kif 18482-18482 | |
| (disjoint ApartmentBuilding SingleFamilyResidence) | Mid-level-ontology.kif 6601-6601 | |
| (disjoint ArrowKey EnterKey) | ComputerInput.kif 295-295 | |
| (disjoint Article Book) | Mid-level-ontology.kif 14146-14146 | |
| (disjoint ArtilleryCannon MilitaryTank) | MilitaryDevices.kif 172-172 | |
| (disjoint Asphalt FossilFuel) | Economy.kif 4997-4997 | |
| (disjoint AstronomicalBody GeographicArea) | Merge.kif 13776-13776 | |
| (disjoint Attaching Detaching) | Merge.kif 12116-12116 | |
| (disjoint AudioInput JoystickMotion) | ComputerInput.kif 1653-1653 | |
| (disjoint AudioInput KeyboardAction) | ComputerInput.kif 1654-1654 | |
| (disjoint AudioInput TouchSurfaceAction) | ComputerInput.kif 1652-1652 | |
| (disjoint AutonomicProcess IntentionalProcess) | Merge.kif 10078-10078 | |
| (disjoint Barn ResidentialBuilding) | Mid-level-ontology.kif 15186-15186 | |
| (disjoint BaseballSteal BaseballHit) | Sports.kif 671-671 | |
| (disjoint BaseballSteal BaseballWalk) | Sports.kif 670-670 | |
| (disjoint BaseballStrike BaseballHit) | Sports.kif 679-679 | |
| (disjoint BaseballWalk BaseballHit) | Sports.kif 627-627 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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