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 24040-24041
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 24036-24036
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 24037-24037
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 24035-24035
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 24039-24039
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 24038-24038

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

antecedent

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

Mid-level-ontology.kif 24043-24050

appearance as argument number 0

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

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: