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 23809-23810
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 23805-23805
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 23806-23806
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 23804-23804
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 23808-23808
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 23807-23807

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

antecedent

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

Mid-level-ontology.kif 23812-23819

appearance as argument number 0

(partTypes Abdomen Torso)	Mid-level-ontology.kif 12847-12847
(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 11902-11902
(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 11880-11880
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 11909-11909
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 11894-11894
(partTypes Pons Brain)	Mid-level-ontology.kif 11886-11886
(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: