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 23751-23752
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 23747-23747
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 23748-23748
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 23746-23746
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 23750-23750
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 23749-23749

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 23754-23761

appearance as argument number 0

(partTypes Abdomen Torso)	Mid-level-ontology.kif 12819-12819
(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 11874-11874
(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 11852-11852
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 11881-11881
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 11866-11866
(partTypes Pons Brain)	Mid-level-ontology.kif 11858-11858
(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: