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

Formal Language: 



KB Term:  Term intersection
English Word: 

  partTypes

 Sigma KEE - partTypes
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 23809-23810
(domainSubclass partTypes 1 Object) Mid-level-ontology.kif 23805-23805 partTypes 的 1 数量 是 客体 的 subclass
(domainSubclass partTypes 2 Object) Mid-level-ontology.kif 23806-23806 partTypes 的 2 数量 是 客体 的 subclass
(instance partTypes BinaryPredicate) Mid-level-ontology.kif 23804-23804 partTypes 是 二元谓语 的 instance
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 23808-23808 partTypes 和 部分 是 内部相关
(subrelation partTypes typicalPart) Mid-level-ontology.kif 23807-23807 partTypes 是 典型的部分 的 subrelation

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

antecedent
-------------------------


(=>
    (and
        (partTypes ?PARTTYPE ?WHOLETYPE)
        (instance ?PART ?PARTTYPE))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?WHOLETYPE)
            (part ?PART ?WHOLE))))		 Mid-level-ontology.kif 23812-23819

appearance as argument number 0
-------------------------


(partTypes Abdomen Torso) Mid-level-ontology.kif 12847-12847 每个 Abdomen 是 躯干 的 part
(partTypes AbdominalAorta Aorta) arteries.kif 1273-1273 每个 AbdominalAorta 是 Aorta 的 part
(partTypes AscendingAorta Aorta) arteries.kif 8-8 每个 AscendingAorta 是 Aorta 的 part
(partTypes ComputerKeyboard ComputerKeyboardKey) ComputerInput.kif 375-375 每个 ComputerKeyboard 是 ComputerKeyboardKey 的 part
(partTypes ComputerMenu ComputerMenuItem) ComputerInput.kif 1134-1134 每个 ComputerMenu 是 ComputerMenuItem 的 part
(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1133-1133 每个 ComputerMenuItem 是 ComputerMenu 的 part
(partTypes ComputerMouse MouseButton) ComputerInput.kif 400-400 每个 ComputerMouse 是 MouseButton 的 part
(partTypes FrontalLobe Brain) Mid-level-ontology.kif 11902-11902 每个 FrontalLobe 是 脑 的 part
(partTypes GUISlider GUISliderIndicator) ComputerInput.kif 1041-1041 每个 GUISlider 是 GUISliderIndicator 的 part
(partTypes GameIODeviceWithAccelerometer Accelerometer) ComputerInput.kif 639-639 每个 GameIODeviceWithAccelerometer 是 Accelerometer 的 part
(partTypes GraphicalComputerMenu GraphicalMenuItem) ComputerInput.kif 1150-1150 每个 GraphicalComputerMenu 是 GraphicalMenuItem 的 part
(partTypes GraphicalMenuItem GraphicalComputerMenu) ComputerInput.kif 1149-1149 每个 GraphicalMenuItem 是 GraphicalComputerMenu 的 part
(partTypes IncusBone AuditoryCanal) Anatomy.kif 1617-1617 每个 IncusBone 是 AuditoryCanal 的 part
(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 539-539 每个 InternalComputerLoudspeaker 是 电脑硬件 的 part
(partTypes MalleusBone AuditoryCanal) Anatomy.kif 1616-1616 每个 MalleusBone 是 AuditoryCanal 的 part
(partTypes Medulla Brain) Mid-level-ontology.kif 11880-11880 每个 Medulla 是 脑 的 part
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11909-11909 每个 OccipitalLobes 是 脑 的 part
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11894-11894 每个 ParietalLobe 是 脑 的 part
(partTypes Pons Brain) Mid-level-ontology.kif 11886-11886 每个 Pons 是 脑 的 part
(partTypes ScrollBarArrowButton ScrollBar) ComputerInput.kif 986-986 每个 ScrollBarArrowButton 是 ScrollBar 的 part
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 975-975 每个 ScrollBarBar 是 ScrollBar 的 part
(partTypes ScrollBarDownArrowButton VerticalScrollBar) ComputerInput.kif 1019-1019 每个 ScrollBarDownArrowButton 是 VerticalScrollBar 的 part
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar) ComputerInput.kif 1002-1002 每个 ScrollBarLeftArrowButton 是 HorizontalScrollBar 的 part
(partTypes ScrollBarRightArrowButton HorizontalScrollBar) ComputerInput.kif 995-995 每个 ScrollBarRightArrowButton 是 HorizontalScrollBar 的 part
(partTypes ScrollBarUpArrowButton VerticalScrollBar) ComputerInput.kif 1010-1010 每个 ScrollBarUpArrowButton 是 VerticalScrollBar 的 part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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