Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - partTypes

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


        (partTypes ?PARTTYPE ?WHOLETYPE)
        (instance ?PART ?PARTTYPE))
    (exists (?WHOLE)
            (instance ?WHOLE ?WHOLETYPE)
            (part ?PART ?WHOLE))))
Mid-level-ontology.kif 23853-23860

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