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 23752-23753
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 23748-23748	域子類 partTypes, 1 and Object
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 23749-23749	域子類 partTypes, 2 and Object
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 23747-23747	例 partTypes and BinaryPredicate
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 23751-23751	相關的內部概念 partTypes and 部分
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 23750-23750	子關係 partTypes and 典型的部分

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 65893-65893

antecedent

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

Mid-level-ontology.kif 23755-23762

每個 Object 是 Object 的 part 例 Object and Object
Object 例 Object and Object 部分 Object and Object

appearance as argument number 0

(partTypes Abdomen Torso)	Mid-level-ontology.kif 12820-12820	每個 Abdomen 是軀幹的 part
(partTypes AbdominalAorta Aorta)	arteries.kif 1273-1273	每個 AbdominalAorta 是 Aorta 的 part
(partTypes AscendingAorta Aorta)	arteries.kif 8-8	每個 AscendingAorta 是 Aorta 的 part
(partTypes ComputerKeyboard ComputerKeyboardKey)	ComputerInput.kif 375-375	每個 ComputerKeyboard 是 ComputerKeyboardKey 的 part
(partTypes ComputerMenu ComputerMenuItem)	ComputerInput.kif 1134-1134	每個 ComputerMenu 是 ComputerMenuItem 的 part
(partTypes ComputerMenuItem ComputerMenu)	ComputerInput.kif 1133-1133	每個 ComputerMenuItem 是 ComputerMenu 的 part
(partTypes ComputerMouse MouseButton)	ComputerInput.kif 400-400	每個 ComputerMouse 是 MouseButton 的 part
(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 11875-11875	每個 FrontalLobe 是腦的 part
(partTypes GUISlider GUISliderIndicator)	ComputerInput.kif 1041-1041	每個 GUISlider 是 GUISliderIndicator 的 part
(partTypes GameIODeviceWithAccelerometer Accelerometer)	ComputerInput.kif 639-639	每個 GameIODeviceWithAccelerometer 是 Accelerometer 的 part
(partTypes GraphicalComputerMenu GraphicalMenuItem)	ComputerInput.kif 1150-1150	每個 GraphicalComputerMenu 是 GraphicalMenuItem 的 part
(partTypes GraphicalMenuItem GraphicalComputerMenu)	ComputerInput.kif 1149-1149	每個 GraphicalMenuItem 是 GraphicalComputerMenu 的 part
(partTypes IncusBone AuditoryCanal)	Anatomy.kif 1617-1617	每個 IncusBone 是 AuditoryCanal 的 part
(partTypes InternalComputerLoudspeaker ComputerHardware)	ComputerInput.kif 539-539	每個 InternalComputerLoudspeaker 是電腦硬件的 part
(partTypes MalleusBone AuditoryCanal)	Anatomy.kif 1616-1616	每個 MalleusBone 是 AuditoryCanal 的 part
(partTypes Medulla Brain)	Mid-level-ontology.kif 11853-11853	每個 Medulla 是腦的 part
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 11882-11882	每個 OccipitalLobes 是腦的 part
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 11867-11867	每個 ParietalLobe 是腦的 part
(partTypes Pons Brain)	Mid-level-ontology.kif 11859-11859	每個 Pons 是腦的 part
(partTypes ScrollBarArrowButton ScrollBar)	ComputerInput.kif 986-986	每個 ScrollBarArrowButton 是 ScrollBar 的 part
(partTypes ScrollBarBar ScrollBar)	ComputerInput.kif 975-975	每個 ScrollBarBar 是 ScrollBar 的 part
(partTypes ScrollBarDownArrowButton VerticalScrollBar)	ComputerInput.kif 1019-1019	每個 ScrollBarDownArrowButton 是 VerticalScrollBar 的 part
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar)	ComputerInput.kif 1002-1002	每個 ScrollBarLeftArrowButton 是 HorizontalScrollBar 的 part
(partTypes ScrollBarRightArrowButton HorizontalScrollBar)	ComputerInput.kif 995-995	每個 ScrollBarRightArrowButton 是 HorizontalScrollBar 的 part
(partTypes ScrollBarUpArrowButton VerticalScrollBar)	ComputerInput.kif 1010-1010	每個 ScrollBarUpArrowButton 是 VerticalScrollBar 的 part

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: