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 25398-25399
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 25394-25394	partTypes の数値 1 引数はオブジェクトのsubclass では
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 25395-25395	partTypes の数値 2 引数はオブジェクトのsubclass では
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 25393-25393	partTypes は 2進述語の instance では
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 25397-25397	partTypes は part に internally 関連して
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 25396-25396	partTypes は typicalPart の subrelation では

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

antecedent

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

Mid-level-ontology.kif 25401-25408

partTypes オブジェクト and オブジェクトオブジェクトはオブジェクトの instance では
オブジェクトオブジェクトはオブジェクトの instance ではオブジェクトはオブジェクトの part では

appearance as argument number 0

(partTypes Abdomen Torso)	Mid-level-ontology.kif 14151-14151	partTypes Abdomen and Torso
(partTypes AbdominalAorta Aorta)	arteries.kif 1273-1273	partTypes AbdominalAorta and Aorta
(partTypes AscendingAorta Aorta)	arteries.kif 8-8	partTypes AscendingAorta and Aorta
(partTypes Buttstock Gunstock)	Mid-level-ontology.kif 1429-1429	partTypes Buttstock and Gunstock
(partTypes ComputerKeyboard ComputerKeyboardKey)	ComputerInput.kif 375-375	partTypes ComputerKeyboard and ComputerKeyboardKey
(partTypes ComputerMenu ComputerMenuItem)	ComputerInput.kif 1134-1134	partTypes ComputerMenu and ComputerMenuItem
(partTypes ComputerMenuItem ComputerMenu)	ComputerInput.kif 1133-1133	partTypes ComputerMenuItem and ComputerMenu
(partTypes ComputerMouse MouseButton)	ComputerInput.kif 400-400	partTypes ComputerMouse and MouseButton
(partTypes Forestock Gunstock)	Mid-level-ontology.kif 1462-1462	partTypes Forestock and Gunstock
(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 13206-13206	partTypes FrontalLobe and Brain
(partTypes GUISlider GUISliderIndicator)	ComputerInput.kif 1041-1041	partTypes GUISlider and GUISliderIndicator
(partTypes GameIODeviceWithAccelerometer Accelerometer)	ComputerInput.kif 639-639	partTypes GameIODeviceWithAccelerometer and Accelerometer
(partTypes GraphicalComputerMenu GraphicalMenuItem)	ComputerInput.kif 1150-1150	partTypes GraphicalComputerMenu and GraphicalMenuItem
(partTypes GraphicalMenuItem GraphicalComputerMenu)	ComputerInput.kif 1149-1149	partTypes GraphicalMenuItem and GraphicalComputerMenu
(partTypes GunBore GunBarrel)	Mid-level-ontology.kif 1389-1389	partTypes GunBore and GunBarrel
(partTypes GunCylinder RevolverGun)	Mid-level-ontology.kif 2081-2081	partTypes GunCylinder and RevolverGun
(partTypes GunMuzzle GunBarrel)	Mid-level-ontology.kif 1360-1360	partTypes GunMuzzle and GunBarrel
(partTypes Gunstock Longgun)	Mid-level-ontology.kif 1410-1410	partTypes Gunstock and Longgun
(partTypes IncusBone AuditoryCanal)	Anatomy.kif 1652-1652	partTypes IncusBone and AuditoryCanal
(partTypes InternalComputerLoudspeaker ComputerHardware)	ComputerInput.kif 539-539	partTypes InternalComputerLoudspeaker and ComputerHardware
(partTypes MalleusBone AuditoryCanal)	Anatomy.kif 1651-1651	partTypes MalleusBone and AuditoryCanal
(partTypes Medulla Brain)	Mid-level-ontology.kif 13184-13184	partTypes Medulla and Brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 13213-13213	partTypes OccipitalLobes and Brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 13198-13198	partTypes ParietalLobe and Brain
(partTypes Pons Brain)	Mid-level-ontology.kif 13190-13190	partTypes Pons and 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: