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 23850-23851
(domainSubclass partTypes 1 Object)	Mid-level-ontology.kif 23846-23846	Le nombre 1 argument de partTypes est une sous-classe de objet
(domainSubclass partTypes 2 Object)	Mid-level-ontology.kif 23847-23847	Le nombre 2 argument de partTypes est une sous-classe de objet
(instance partTypes BinaryPredicate)	Mid-level-ontology.kif 23845-23845	partTypes est une instance de pr�dicat binaire
(relatedInternalConcept partTypes part)	Mid-level-ontology.kif 23849-23849	partTypes est reli� � l'int�rieur de SUMO � part
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 23848-23848	partTypes est une sous-relation de typicalPart

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

antecedent

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

Mid-level-ontology.kif 23853-23860

partTypes objet and objet objet est une instance de objet
objet objet est une instance de objet objet est une partie de objet

appearance as argument number 0

(partTypes Abdomen Torso)	Mid-level-ontology.kif 12691-12691	partTypes Abdomen and Torso
(partTypes ComputerMenuItem ComputerMenu)	ComputerInput.kif 1133-1133	partTypes ComputerMenuItem and ComputerMenu
(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 11745-11745	partTypes FrontalLobe and Brain
(partTypes GUISlider GUISliderIndicator)	ComputerInput.kif 1041-1041	partTypes GUISlider and GUISliderIndicator
(partTypes GraphicalMenuItem GraphicalComputerMenu)	ComputerInput.kif 1149-1149	partTypes GraphicalMenuItem and GraphicalComputerMenu
(partTypes InternalComputerLoudspeaker ComputerHardware)	ComputerInput.kif 539-539	partTypes InternalComputerLoudspeaker and ComputerHardware
(partTypes Medulla Brain)	Mid-level-ontology.kif 11723-11723	partTypes Medulla and Brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 11752-11752	partTypes OccipitalLobes and Brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 11737-11737	partTypes ParietalLobe and Brain
(partTypes Pons Brain)	Mid-level-ontology.kif 11729-11729	partTypes Pons and Brain
(partTypes ScrollBarArrowButton ScrollBar)	ComputerInput.kif 986-986	partTypes ScrollBarArrowButton and ScrollBar
(partTypes ScrollBarBar ScrollBar)	ComputerInput.kif 975-975	partTypes ScrollBarBar and ScrollBar
(partTypes ScrollBarDownArrowButton VerticalScrollBar)	ComputerInput.kif 1019-1019	partTypes ScrollBarDownArrowButton and VerticalScrollBar
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar)	ComputerInput.kif 1002-1002	partTypes ScrollBarLeftArrowButton and HorizontalScrollBar
(partTypes ScrollBarRightArrowButton HorizontalScrollBar)	ComputerInput.kif 995-995	partTypes ScrollBarRightArrowButton and HorizontalScrollBar
(partTypes ScrollBarUpArrowButton VerticalScrollBar)	ComputerInput.kif 1010-1010	partTypes ScrollBarUpArrowButton and VerticalScrollBar
(partTypes TemporalLobes Brain)	Mid-level-ontology.kif 11759-11759	partTypes TemporalLobes and Brain
(partTypes Waist Abdomen)	Mid-level-ontology.kif 12697-12697	partTypes Waist and Abdomen

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: