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 24072-24073
(domainSubclass partTypes 1 Object) Mid-level-ontology.kif 24068-24068 partTypes 的 1 数量 是 客体 的 subclass
(domainSubclass partTypes 2 Object) Mid-level-ontology.kif 24069-24069 partTypes 的 2 数量 是 客体 的 subclass
(instance partTypes BinaryPredicate) Mid-level-ontology.kif 24067-24067 partTypes 是 二元谓语 的 instance
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 24071-24071 partTypes 和 部分 是 内部相关
(subrelation partTypes typicalPart) Mid-level-ontology.kif 24070-24070 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 65941-65941

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


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

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


(partTypes Abdomen Torso) Mid-level-ontology.kif 13038-13038 每个 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 12093-12093 每个 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 12071-12071 每个 Medulla 是 脑 的 part
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 12100-12100 每个 OccipitalLobes 是 脑 的 part
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 12085-12085 每个 ParietalLobe 是 脑 的 part
(partTypes Pons Brain) Mid-level-ontology.kif 12077-12077 每个 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