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 23752-23753
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 23748-23748	The number 1 argument of part types is a subclass of object
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 23749-23749	The number 2 argument of part types is a subclass of object
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 23747-23747	part types is an instance of binary predicate
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 23751-23751	part types is internally related to part
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 23750-23750	part types is a subrelation of typical part

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

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 12820-12820	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 11875-11875	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 1617-1617	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 1616-1616	Every MalleusBone is a part of a auditory canal
(partTypes Medulla Brain)	Mid-level-ontology.kif 11853-11853	Every medulla is a part of a brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 11882-11882	Every occipital lobes is a part of a brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 11867-11867	Every parietal lobe is a part of a brain
(partTypes Pons Brain)	Mid-level-ontology.kif 11859-11859	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: