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 23752-23753
(domainSubclass partTypes 1 Object) Mid-level-ontology.kif 23748-23748 partTypes 的 1 数量 是 客体 的 subclass
(domainSubclass partTypes 2 Object) Mid-level-ontology.kif 23749-23749 partTypes 的 2 数量 是 客体 的 subclass
(instance partTypes BinaryPredicate) Mid-level-ontology.kif 23747-23747 partTypes 是 二元谓语 的 instance
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 23751-23751 partTypes 和 部分 是 内部相关
(subrelation partTypes typicalPart) Mid-level-ontology.kif 23750-23750 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 65893-65893

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


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

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


(partTypes Abdomen Torso) Mid-level-ontology.kif 12820-12820 每个 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 11875-11875 每个 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 11853-11853 每个 Medulla 是 脑 的 part
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11882-11882 每个 OccipitalLobes 是 脑 的 part
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11867-11867 每个 ParietalLobe 是 脑 的 part
(partTypes Pons Brain) Mid-level-ontology.kif 11859-11859 每个 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