TreeView 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 390-392
(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 388-388	The number 1 argument of disjoint is an instance of class
(domain disjoint 2 Class)	Merge.kif 389-389	The number 2 argument of disjoint is an instance of class
(instance disjoint BinaryPredicate)	Merge.kif 386-386	disjoint is an instance of binary predicate
(instance disjoint SymmetricRelation)	Merge.kif 387-387	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 562-562	disjoint decomposition is internally related to disjoint
(relatedInternalConcept disjointRelation disjoint)	Merge.kif 407-407	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 19857-19857	disjoint relation is internally related to disjoint
(termFormat ChineseTraditionalLanguage disjoint "不相交的")	domainEnglishFormat.kif 19856-19856	disjoint relation is internally related to disjoint
(termFormat EnglishLanguage disjoint "disjoint")	domainEnglishFormat.kif 19855-19855	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 412-417	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 419-424	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 426-431	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 433-438	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 394-400	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 2966-2971	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 2955-2964	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 8890-8890	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 9400-9400	Anaerobic exercise device is disjoint from aerobic exercise device
(disjoint AnteMeridiem PostMeridiem)	Mid-level-ontology.kif 20678-20678	Ante meridiem is disjoint from post meridiem
(disjoint ApartmentBuilding SingleFamilyResidence)	Mid-level-ontology.kif 8098-8098	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 16049-16049	Article is disjoint from book
(disjoint ArtilleryCannon MilitaryTank)	MilitaryDevices.kif 172-172	Artillery cannon is disjoint from military tank
(disjoint Asphalt FossilFuel)	Economy.kif 6352-6352	Asphalt is disjoint from fossil fuel
(disjoint AstronomicalBody GeographicArea)	Merge.kif 14161-14161	Astronomical body is disjoint from geographic area
(disjoint Attaching Detaching)	Merge.kif 12483-12483	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 10289-10289	Autonomic process is disjoint from intentional process
(disjoint Barn ResidentialBuilding)	Mid-level-ontology.kif 17110-17110	Barn is disjoint from residential building
(disjoint BaseballSteal BaseballHit)	Sports.kif 752-752	Baseball steal is disjoint from baseball hit
(disjoint BaseballSteal BaseballWalk)	Sports.kif 751-751	Baseball steal is disjoint from baseball walk
(disjoint BaseballStrike BaseballHit)	Sports.kif 760-760	Baseball strike is disjoint from baseball hit
(disjoint BaseballWalk BaseballHit)	Sports.kif 708-708	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)

KB Term:			Term intersection

English Word: