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 25389-25390
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 25385-25385	The number 1 argument of part types is a subclass of object
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 25386-25386	The number 2 argument of part types is a subclass of object
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 25384-25384	part types is an instance of binary predicate
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 25388-25388	part types is internally related to part
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 25387-25387	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 65907-65907

antecedent

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

Mid-level-ontology.kif 25392-25399

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 14145-14145	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 Buttstock Gunstock)	Mid-level-ontology.kif 1429-1429	Every butt stock is a part of a gun stock
(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 Forestock Gunstock)	Mid-level-ontology.kif 1462-1462	Every fore stock is a part of a gun stock
(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 13200-13200	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 GunBore GunBarrel)	Mid-level-ontology.kif 1389-1389	Every gun bore is a part of a gun barrel
(partTypes GunCylinder RevolverGun)	Mid-level-ontology.kif 2081-2081	Every gun cylinder is a part of a revolver gun
(partTypes GunMuzzle GunBarrel)	Mid-level-ontology.kif 1360-1360	Every gun muzzle is a part of a gun barrel
(partTypes Gunstock Longgun)	Mid-level-ontology.kif 1410-1410	Every gun stock is a part of a long gun
(partTypes IncusBone AuditoryCanal)	Anatomy.kif 1650-1650	Every incus bone 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 1649-1649	Every malleus bone is a part of a auditory canal
(partTypes Medulla Brain)	Mid-level-ontology.kif 13178-13178	Every medulla is a part of a brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 13207-13207	Every occipital lobes is a part of a brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 13192-13192	Every parietal lobe is a part of a brain
(partTypes Pons Brain)	Mid-level-ontology.kif 13184-13184	Every pons is a part of a brain

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: