TreeView Knowledge Base Browser

appearance as argument number 1

(documentation partTypes EnglishLanguage "(partTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?PART_TYPE is parts of an instance of ?WHOLE_TYPE.")	Mid-level-ontology.kif 24072-24073
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 24068-24068	Die Zahl 1 Argument von partTypes ist eine teilkategorie von Object %n{nicht}
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 24069-24069	Die Zahl 2 Argument von partTypes ist eine teilkategorie von Object %n{nicht}
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 24067-24067	partTypes ist ein fall von BinaryPredicate %n{nicht}
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 24071-24071	partTypes ist innerlich verwandt mit teil %n{nicht}
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 24070-24070	partTypes ist eine teilrelation von typicalPart

appearance as argument number 2

(format ChineseLanguage partTypes "每个 %1 是 %2 的 part ")	domainEnglishFormat.kif 4078-4078
(format ChineseTraditionalLanguage partTypes "每個 %1 是 %2 的 part ")	domainEnglishFormat.kif 4077-4077
(format EnglishLanguage partTypes "every %1 is a part of a %2")	domainEnglishFormat.kif 4076-4076
(termFormat EnglishLanguage partTypes "part types")	domainEnglishFormat.kif 65941-65941

antecedent

(=>
    (and
        (partTypes ?PARTTYPE ?WHOLETYPE)
        (instance ?PART ?PARTTYPE))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?WHOLETYPE)
            (part ?PART ?WHOLE))))

Mid-level-ontology.kif 24075-24082

Wenn partTypes ** Object and ** ** Object und ** Object ist ein fall von ** Object %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht}

appearance as argument number 0

(partTypes Abdomen Torso)	Mid-level-ontology.kif 13038-13038	partTypes Abdomen and Torso
(partTypes AbdominalAorta Aorta)	arteries.kif 1273-1273	partTypes AbdominalAorta and Aorta
(partTypes AscendingAorta Aorta)	arteries.kif 8-8	partTypes AscendingAorta and Aorta
(partTypes ComputerKeyboard ComputerKeyboardKey)	ComputerInput.kif 375-375	partTypes ComputerKeyboard and ComputerKeyboardKey
(partTypes ComputerMenu ComputerMenuItem)	ComputerInput.kif 1134-1134	partTypes ComputerMenu and ComputerMenuItem
(partTypes ComputerMenuItem ComputerMenu)	ComputerInput.kif 1133-1133	partTypes ComputerMenuItem and ComputerMenu
(partTypes ComputerMouse MouseButton)	ComputerInput.kif 400-400	partTypes ComputerMouse and MouseButton
(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 12093-12093	partTypes FrontalLobe and Brain
(partTypes GUISlider GUISliderIndicator)	ComputerInput.kif 1041-1041	partTypes GUISlider and GUISliderIndicator
(partTypes GameIODeviceWithAccelerometer Accelerometer)	ComputerInput.kif 639-639	partTypes GameIODeviceWithAccelerometer and Accelerometer
(partTypes GraphicalComputerMenu GraphicalMenuItem)	ComputerInput.kif 1150-1150	partTypes GraphicalComputerMenu and GraphicalMenuItem
(partTypes GraphicalMenuItem GraphicalComputerMenu)	ComputerInput.kif 1149-1149	partTypes GraphicalMenuItem and GraphicalComputerMenu
(partTypes IncusBone AuditoryCanal)	Anatomy.kif 1617-1617	partTypes IncusBone and AuditoryCanal
(partTypes InternalComputerLoudspeaker ComputerHardware)	ComputerInput.kif 539-539	partTypes InternalComputerLoudspeaker and ComputerHardware
(partTypes MalleusBone AuditoryCanal)	Anatomy.kif 1616-1616	partTypes MalleusBone and AuditoryCanal
(partTypes Medulla Brain)	Mid-level-ontology.kif 12071-12071	partTypes Medulla and Brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 12100-12100	partTypes OccipitalLobes and Brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 12085-12085	partTypes ParietalLobe and Brain
(partTypes Pons Brain)	Mid-level-ontology.kif 12077-12077	partTypes Pons and Brain
(partTypes ScrollBarArrowButton ScrollBar)	ComputerInput.kif 986-986	partTypes ScrollBarArrowButton and ScrollBar
(partTypes ScrollBarBar ScrollBar)	ComputerInput.kif 975-975	partTypes ScrollBarBar and ScrollBar
(partTypes ScrollBarDownArrowButton VerticalScrollBar)	ComputerInput.kif 1019-1019	partTypes ScrollBarDownArrowButton and VerticalScrollBar
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar)	ComputerInput.kif 1002-1002	partTypes ScrollBarLeftArrowButton and HorizontalScrollBar
(partTypes ScrollBarRightArrowButton HorizontalScrollBar)	ComputerInput.kif 995-995	partTypes ScrollBarRightArrowButton and HorizontalScrollBar
(partTypes ScrollBarUpArrowButton VerticalScrollBar)	ComputerInput.kif 1010-1010	partTypes ScrollBarUpArrowButton and VerticalScrollBar

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: