disjoint - Sigma Knowledge base Browser

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
(documentation disjoint JapaneseLanguage "Classes は、インスタンスを共有しない場合のみ disjoint である。例えば、 IntersectionFn をそれらに適用した結果空の場合に備えて。")	japanese_format.kif 63-64
(documentation disjoint SpanishLanguage "Classes son disjoint sólo si no comparten instancias, por ejemplo, en el caso de aplicar IntersectionFn resulta que están vacías.")	spanish_format.kif 72-74
(domain disjoint 1 Class)	Merge.kif 395-395	The number 1 argument of disjoint is an instance of class
(domain disjoint 2 Class)	Merge.kif 396-396	The number 2 argument of disjoint is an instance of class
(instance disjoint BinaryPredicate)	Merge.kif 393-393	disjoint is an instance of binary predicate
(instance disjoint SymmetricRelation)	Merge.kif 394-394	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
(format FrenchLanguage disjoint "%1 est %n disjoint de %2")	french_format.kif 165-165
(format ItalianLanguage disjoint "%1 è %n disgiunto da %2")	relations-it.txt 75-75
(format JapaneseLanguage disjoint "%1 と %2 は disjoint では %n")	japanese_format.kif 1985-1985
(format PortugueseLanguage disjoint "%1 e' %n disjunto de %2")	portuguese_format.kif 117-117
(format cb disjoint "%1 %n ay lahi sa %2")	relations-cb.txt 109-109
(format cz disjoint "%1 %p{je} %n{nen�} disjoint from %2")	relations-cz.txt 182-182
(format de disjoint "%1 ist dijunkt von %2 %n{nicht}")	relations-de.txt 370-370
(format hi disjoint "%1 %2 se asanyukta %n hai")	relations-hindi.txt 59-59
(format ro disjoint "%1 %n{nu} este disjoint%t{disjunct} faþã de %2")	relations-ro.kif 185-185
(format sv disjoint "%1 är %n{inte} disjunkt med %2")	relations-sv.txt 172-172
(format tg disjoint "%1 %n ay iba ng %2")	relations-tg.txt 166-166
(relatedInternalConcept disjointDecomposition disjoint)	Merge.kif 569-569	disjoint decomposition is internally related to disjoint
(relatedInternalConcept disjointRelation disjoint)	Merge.kif 414-414	disjoint relation is internally related to disjoint
(termFormat ChineseLanguage disjoint "不相交")	chinese_format.kif 286-286	disjoint relation is internally related to disjoint
(termFormat ChineseLanguage disjoint "不相交的")	domainEnglishFormat.kif 19864-19864	disjoint relation is internally related to disjoint
(termFormat ChineseTraditionalLanguage disjoint "不相交的")	domainEnglishFormat.kif 19863-19863	disjoint relation is internally related to disjoint
(termFormat EnglishLanguage disjoint "disjoint")	domainEnglishFormat.kif 19862-19862	disjoint relation is internally related to disjoint
(termFormat de disjoint "disjunkt")	terms-de.txt 115-115	disjoint relation is internally related to disjoint
(termFormat tg disjoint "iba")	relations-tg.txt 167-167	disjoint relation is internally related to disjoint

antecedent

(=> (and (domain ?REL1 ?NUMBER ?CLASS1) (domain ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 419-424	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 426-431	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 433-438	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 440-445	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 401-407	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 2969-2974	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 2958-2967	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 8828-8828	Afternoon is disjoint from evening
(disjoint AltKey ControlKey)	ComputerInput.kif 360-360	Alt key is disjoint from control key
(disjoint AltKey FunctionKey)	ComputerInput.kif 362-362	Alt key is disjoint from function key
(disjoint AltKey ShiftKey)	ComputerInput.kif 361-361	Alt key is disjoint from shift key
(disjoint AltKeyHoldDown ControlKeyHoldDown)	ComputerInput.kif 1313-1313	Alt key hold down is disjoint from control key hold down
(disjoint AltKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 1312-1312	Alt key hold down is disjoint from shift key hold down
(disjoint AnaerobicExerciseDevice AerobicExerciseDevice)	Mid-level-ontology.kif 8451-8451	Anaerobic exercise device is disjoint from aerobic exercise device
(disjoint AnteMeridiem PostMeridiem)	Mid-level-ontology.kif 19365-19365	Ante meridiem is disjoint from post meridiem
(disjoint ApartmentBuilding SingleFamilyResidence)	Mid-level-ontology.kif 7155-7155	Apartment building is disjoint from single family residence
(disjoint ArrowKey EnterKey)	ComputerInput.kif 295-295	Arrow key is disjoint from enter key
(disjoint Article Book)	Mid-level-ontology.kif 14896-14896	Article is disjoint from book
(disjoint ArtilleryCannon MilitaryTank)	MilitaryDevices.kif 172-172	Artillery cannon is disjoint from military tank
(disjoint Asphalt FossilFuel)	Economy.kif 5954-5954	Asphalt is disjoint from fossil fuel
(disjoint AstronomicalBody GeographicArea)	Merge.kif 14069-14069	Astronomical body is disjoint from geographic area
(disjoint Attaching Detaching)	Merge.kif 12394-12394	Attaching is disjoint from detaching
(disjoint AudioInput JoystickMotion)	ComputerInput.kif 1656-1656	Audio input is disjoint from joystick motion
(disjoint AudioInput KeyboardAction)	ComputerInput.kif 1657-1657	Audio input is disjoint from keyboard action
(disjoint AudioInput TouchSurfaceAction)	ComputerInput.kif 1655-1655	Audio input is disjoint from touch surface action
(disjoint AutonomicProcess IntentionalProcess)	Merge.kif 10200-10200	Autonomic process is disjoint from intentional process
(disjoint Barn ResidentialBuilding)	Mid-level-ontology.kif 15955-15955	Barn is disjoint from residential building
(disjoint BaseballSteal BaseballHit)	Sports.kif 740-740	Baseball steal is disjoint from baseball hit
(disjoint BaseballSteal BaseballWalk)	Sports.kif 739-739	Baseball steal is disjoint from baseball walk
(disjoint BaseballStrike BaseballHit)	Sports.kif 748-748	Baseball strike is disjoint from baseball hit
(disjoint BaseballWalk BaseballHit)	Sports.kif 696-696	Baseball walk is disjoint from baseball hit

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

KB Term:			Term intersection

English Word: