partTypes - Sigma 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 24871-24872
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 24867-24867	The number 1 argument of part types is a subclass of object
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 24868-24868	The number 2 argument of part types is a subclass of object
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 24866-24866	part types is an instance of binary predicate
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 24870-24870	part types is internally related to part
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 24869-24869	part types is a subrelation of typical part

appearance as argument number 2

(format ChineseLanguage partTypes "每个 %1 是 %2 的 part ")	domainEnglishFormat.kif 4082-4082
(format ChineseTraditionalLanguage partTypes "每個 %1 是 %2 的 part ")	domainEnglishFormat.kif 4081-4081
(format EnglishLanguage partTypes "every %1 is a part of a %2")	domainEnglishFormat.kif 4080-4080
(termFormat EnglishLanguage partTypes "part types")	domainEnglishFormat.kif 65939-65939

antecedent

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

Mid-level-ontology.kif 24874-24881

If every a kind of object is a part of a another kind of object and a third object is an instance of a kind of object,
then there exists a fourth object such that the fourth object is an instance of another kind of object and the third object is a part of the fourth object

appearance as argument number 0

(partTypes Abdomen Torso)	Mid-level-ontology.kif 13716-13716	Every abdomen is a part of a torso
(partTypes AbdominalAorta Aorta)	arteries.kif 1273-1273	Every abdominal aorta is a part of a aorta
(partTypes AscendingAorta Aorta)	arteries.kif 8-8	Every ascending aorta is a part of a aorta
(partTypes ComputerKeyboard ComputerKeyboardKey)	ComputerInput.kif 375-375	Every computer keyboard is a part of a computer keyboard key
(partTypes ComputerMenu ComputerMenuItem)	ComputerInput.kif 1134-1134	Every computer menu is a part of a computer menu item
(partTypes ComputerMenuItem ComputerMenu)	ComputerInput.kif 1133-1133	Every computer menu item is a part of a computer menu
(partTypes ComputerMouse MouseButton)	ComputerInput.kif 400-400	Every computer mouse is a part of a mouse button
(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 12771-12771	Every frontal lobe is a part of a brain
(partTypes GUISlider GUISliderIndicator)	ComputerInput.kif 1041-1041	Every GUI slider is a part of a GUI slider indicator
(partTypes GameIODeviceWithAccelerometer Accelerometer)	ComputerInput.kif 639-639	Every game I/O device with accelerometer is a part of a accelerometer
(partTypes GraphicalComputerMenu GraphicalMenuItem)	ComputerInput.kif 1150-1150	Every graphical computer menu is a part of a graphical menu item
(partTypes GraphicalMenuItem GraphicalComputerMenu)	ComputerInput.kif 1149-1149	Every graphical menu item is a part of a graphical computer menu
(partTypes IncusBone AuditoryCanal)	Anatomy.kif 1616-1616	Every IncusBone is a part of a auditory canal
(partTypes InternalComputerLoudspeaker ComputerHardware)	ComputerInput.kif 539-539	Every internal computer loudspeaker is a part of a computer hardware
(partTypes MalleusBone AuditoryCanal)	Anatomy.kif 1615-1615	Every MalleusBone is a part of a auditory canal
(partTypes Medulla Brain)	Mid-level-ontology.kif 12749-12749	Every medulla is a part of a brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 12778-12778	Every occipital lobes is a part of a brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 12763-12763	Every parietal lobe is a part of a brain
(partTypes Pons Brain)	Mid-level-ontology.kif 12755-12755	Every pons is a part of a brain
(partTypes ScrollBarArrowButton ScrollBar)	ComputerInput.kif 986-986	Every scroll bar arrow button is a part of a scroll bar
(partTypes ScrollBarBar ScrollBar)	ComputerInput.kif 975-975	Every scroll bar bar is a part of a scroll bar
(partTypes ScrollBarDownArrowButton VerticalScrollBar)	ComputerInput.kif 1019-1019	Every scroll bar down arrow button is a part of a vertical scroll bar
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar)	ComputerInput.kif 1002-1002	Every scroll bar left arrow button is a part of a horizontal scroll bar
(partTypes ScrollBarRightArrowButton HorizontalScrollBar)	ComputerInput.kif 995-995	Every scroll bar right arrow button is a part of a horizontal scroll bar
(partTypes ScrollBarUpArrowButton VerticalScrollBar)	ComputerInput.kif 1010-1010	Every scroll bar up arrow button is a part of a vertical scroll bar

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: