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 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	Die Zahl 1 Argument von disjunkt ist ein fall von Class %n{nicht}
(domain disjoint 2 Class)	Merge.kif 396-396	Die Zahl 2 Argument von disjunkt ist ein fall von Class %n{nicht}
(instance disjoint BinaryPredicate)	Merge.kif 393-393	disjunkt ist ein fall von BinaryPredicate %n{nicht}
(instance disjoint SymmetricRelation)	Merge.kif 394-394	disjunkt ist ein fall von SymmetricRelation %n{nicht}

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	disjunkteAufspaltung ist innerlich verwandt mit disjunkt %n{nicht}
(relatedInternalConcept disjointRelation disjoint)	Merge.kif 414-414	disjunkteRelation ist innerlich verwandt mit disjunkt %n{nicht}
(termFormat ChineseLanguage disjoint "不相交")	chinese_format.kif 286-286
(termFormat ChineseLanguage disjoint "不相交的")	domainEnglishFormat.kif 19848-19848
(termFormat ChineseTraditionalLanguage disjoint "不相交的")	domainEnglishFormat.kif 19847-19847
(termFormat EnglishLanguage disjoint "disjoint")	domainEnglishFormat.kif 19846-19846
(termFormat de disjoint "disjunkt")	terms-de.txt 115-115
(termFormat tg disjoint "iba")	relations-tg.txt 167-167

antecedent

(=> (and (domain ?REL1 ?NUMBER ?CLASS1) (domain ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 419-424	Wenn die Zahl PositiveInteger Argument von Relation ist ein fall von Class %n{nicht} und die Zahl PositiveInteger Argument von Relation ist ein fall von Class %n{nicht} und Class ist dijunkt von Class %n{nicht}, dann Relation und ** Relation werden disjunkt
(=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 426-431	Wenn die Zahl PositiveInteger Argument von Relation ist eine teilkategorie von Class %n{nicht} und die Zahl PositiveInteger Argument von Relation ist eine teilkategorie von Class %n{nicht} und Class ist dijunkt von Class %n{nicht}, dann Relation und ** Relation werden disjunkt
(=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 433-438	Wenn bildbereich von Function ist ein fall von Class {nicht} und bildbereich von Function ist ein fall von Class {nicht} und Class ist dijunkt von Class %n{nicht}, dann Function und Function werden disjunkt
(=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 440-445	Wenn die werte die Function zurueckgibt sind teilkategorien von Class und die werte die Function zurueckgibt sind teilkategorien von Class und Class ist dijunkt von Class %n{nicht}, dann Function und Function werden disjunkt
(=> (disjoint ?CLASS1 ?CLASS2) (not (exists (?INST) (and (instance ?INST ?CLASS1) (instance ?INST ?CLASS2)))))	Merge.kif 401-407	Wenn Class ist dijunkt von Class %n{nicht}, dann es gibt nicht Entity um Entity ist ein fall von Class %n{nicht} und Entity ist ein fall von Class %n{nicht}

consequent

(=> (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3) (and (disjoint ?ROW1 ?ROW2) (disjoint ?ROW2 ?ROW3) (disjoint ?ROW3 ?ROW1)))	Merge.kif 2969-2974	Wenn Class wird zusammenhanglos auf Class, Class, und Class disjunkt, dann Class ist dijunkt von Class %n{nicht} und Class ist dijunkt von Class %n{nicht} und Class ist dijunkt von ** Class %n{nicht}
(=> (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	Wenn Class wird zusammenhanglos auf @ROW disjunkt, dann fuer alle Class und Class wenn Class ist ein Mitglied von (@ROW) und Class ist ein Mitglied von (@ROW) und Class ist gleich Class nicht, dann Class ist dijunkt von Class %n{nicht}

appearance as argument number 0

(disjoint AboveTheLine BelowTheLine)	MilitaryProcesses.kif 974-974	AboveTheLine ist dijunkt von BelowTheLine %n{nicht}
(disjoint Afternoon Evening)	Merge.kif 8828-8828	Afternoon ist dijunkt von Evening %n{nicht}
(disjoint AltKey ControlKey)	ComputerInput.kif 360-360	AltKey ist dijunkt von ControlKey %n{nicht}
(disjoint AltKey FunctionKey)	ComputerInput.kif 362-362	AltKey ist dijunkt von FunctionKey %n{nicht}
(disjoint AltKey ShiftKey)	ComputerInput.kif 361-361	AltKey ist dijunkt von ShiftKey %n{nicht}
(disjoint AltKeyHoldDown ControlKeyHoldDown)	ComputerInput.kif 1313-1313	AltKeyHoldDown ist dijunkt von ControlKeyHoldDown %n{nicht}
(disjoint AltKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 1312-1312	AltKeyHoldDown ist dijunkt von ShiftKeyHoldDown %n{nicht}
(disjoint AnaerobicExerciseDevice AerobicExerciseDevice)	Mid-level-ontology.kif 8260-8260	AnaerobicExerciseDevice ist dijunkt von AerobicExerciseDevice %n{nicht}
(disjoint AnteMeridiem PostMeridiem)	Mid-level-ontology.kif 19134-19134	AnteMeridiem ist dijunkt von PostMeridiem %n{nicht}
(disjoint ApartmentBuilding SingleFamilyResidence)	Mid-level-ontology.kif 6964-6964	ApartmentBuilding ist dijunkt von SingleFamilyResidence %n{nicht}
(disjoint ArrowKey EnterKey)	ComputerInput.kif 295-295	ArrowKey ist dijunkt von EnterKey %n{nicht}
(disjoint Article Book)	Mid-level-ontology.kif 14705-14705	Article ist dijunkt von Book %n{nicht}
(disjoint ArtilleryCannon MilitaryTank)	MilitaryDevices.kif 172-172	ArtilleryCannon ist dijunkt von MilitaryTank %n{nicht}
(disjoint Asphalt FossilFuel)	Economy.kif 5954-5954	Asphalt ist dijunkt von FossilFuel %n{nicht}
(disjoint AstronomicalBody GeographicArea)	Merge.kif 14069-14069	AstronomicalBody ist dijunkt von GeographicArea %n{nicht}
(disjoint Attaching Detaching)	Merge.kif 12394-12394	Attaching ist dijunkt von Detaching %n{nicht}
(disjoint AudioInput JoystickMotion)	ComputerInput.kif 1656-1656	AudioInput ist dijunkt von JoystickMotion %n{nicht}
(disjoint AudioInput KeyboardAction)	ComputerInput.kif 1657-1657	AudioInput ist dijunkt von KeyboardAction %n{nicht}
(disjoint AudioInput TouchSurfaceAction)	ComputerInput.kif 1655-1655	AudioInput ist dijunkt von TouchSurfaceAction %n{nicht}
(disjoint AutonomicProcess IntentionalProcess)	Merge.kif 10200-10200	AutonomicProcess ist dijunkt von IntentionalProcess %n{nicht}
(disjoint Barn ResidentialBuilding)	Mid-level-ontology.kif 15764-15764	Barn ist dijunkt von ResidentialBuilding %n{nicht}
(disjoint BaseballSteal BaseballHit)	Sports.kif 740-740	BaseballSteal ist dijunkt von BaseballHit %n{nicht}
(disjoint BaseballSteal BaseballWalk)	Sports.kif 739-739	BaseballSteal ist dijunkt von BaseballWalk %n{nicht}
(disjoint BaseballStrike BaseballHit)	Sports.kif 748-748	BaseballStrike ist dijunkt von BaseballHit %n{nicht}
(disjoint BaseballWalk BaseballHit)	Sports.kif 696-696	BaseballWalk ist dijunkt von BaseballHit %n{nicht}

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: