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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 では %n
(domainSubclass partTypes 2 Object) Mid-level-ontology.kif 23749-23749 partTypes の数値 2 引数は オブジェクトsubclass では %n
(instance partTypes BinaryPredicate) Mid-level-ontology.kif 23747-23747 partTypes2進述語instance では %n
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 23751-23751 partTypespartinternally 関連して %n
(subrelation partTypes typicalPart) Mid-level-ontology.kif 23750-23750 partTypestypicalPartsubrelation では %n

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 partTypes Abdomen and Torso
(partTypes AbdominalAorta Aorta) arteries.kif 1273-1273 partTypes AbdominalAorta and Aorta
(partTypes AscendingAorta Aorta) arteries.kif 8-8 partTypes AscendingAorta and Aorta
(partTypes ComputerKeyboard ComputerKeyboardKey) ComputerInput.kif 375-375 partTypes ComputerKeyboard and ComputerKeyboardKey
(partTypes ComputerMenu ComputerMenuItem) ComputerInput.kif 1134-1134 partTypes ComputerMenu and ComputerMenuItem
(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1133-1133 partTypes ComputerMenuItem and ComputerMenu
(partTypes ComputerMouse MouseButton) ComputerInput.kif 400-400 partTypes ComputerMouse and MouseButton
(partTypes FrontalLobe Brain) Mid-level-ontology.kif 11875-11875 partTypes FrontalLobe and Brain
(partTypes GUISlider GUISliderIndicator) ComputerInput.kif 1041-1041 partTypes GUISlider and GUISliderIndicator
(partTypes GameIODeviceWithAccelerometer Accelerometer) ComputerInput.kif 639-639 partTypes GameIODeviceWithAccelerometer and Accelerometer
(partTypes GraphicalComputerMenu GraphicalMenuItem) ComputerInput.kif 1150-1150 partTypes GraphicalComputerMenu and GraphicalMenuItem
(partTypes GraphicalMenuItem GraphicalComputerMenu) ComputerInput.kif 1149-1149 partTypes GraphicalMenuItem and GraphicalComputerMenu
(partTypes IncusBone AuditoryCanal) Anatomy.kif 1617-1617 partTypes IncusBone and AuditoryCanal
(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 539-539 partTypes InternalComputerLoudspeaker and ComputerHardware
(partTypes MalleusBone AuditoryCanal) Anatomy.kif 1616-1616 partTypes MalleusBone and AuditoryCanal
(partTypes Medulla Brain) Mid-level-ontology.kif 11853-11853 partTypes Medulla and Brain
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11882-11882 partTypes OccipitalLobes and Brain
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11867-11867 partTypes ParietalLobe and Brain
(partTypes Pons Brain) Mid-level-ontology.kif 11859-11859 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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