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 21724-21724
(domainSubclass partTypes 1 Object) Mid-level-ontology.kif 21720-21720 domainSubclass partTypes, 1 and Object
(domainSubclass partTypes 2 Object) Mid-level-ontology.kif 21721-21721 domainSubclass partTypes, 2 and Object
(instance partTypes BinaryPredicate) Mid-level-ontology.kif 21719-21719 instance partTypes and BinaryPredicate
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 21723-21723 relatedInternalConcept partTypes and part
(subrelation partTypes typicalPart) Mid-level-ontology.kif 21722-21722 subrelation partTypes and typicalPart

appearance as argument number 2
-------------------------


(format ChineseLanguage partTypes "每个 %1 是 %2 的 part ") domainEnglishFormat.kif 4083-4083
(format ChineseTraditionalLanguage partTypes "每個 %1 是 %2 的 part ") domainEnglishFormat.kif 4082-4082
(format EnglishLanguage partTypes "every %1 is a part of a %2") domainEnglishFormat.kif 4081-4081

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


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

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


(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1161-1161 partTypes ComputerMenuItem and ComputerMenu
(partTypes GUISlider GUISliderIndicator) ComputerInput.kif 1069-1069 partTypes GUISlider and GUISliderIndicator
(partTypes GraphicalMenuItem GraphicalComputerMenu) ComputerInput.kif 1177-1177 partTypes GraphicalMenuItem and GraphicalComputerMenu
(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 566-566 partTypes InternalComputerLoudspeaker and ComputerHardware
(partTypes ScrollBarArrowButton ScrollBar) ComputerInput.kif 1014-1014 partTypes ScrollBarArrowButton and ScrollBar
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 1003-1003 partTypes ScrollBarBar and ScrollBar
(partTypes ScrollBarDownArrowButton VerticalScrollBar) ComputerInput.kif 1047-1047 partTypes ScrollBarDownArrowButton and VerticalScrollBar
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar) ComputerInput.kif 1030-1030 partTypes ScrollBarLeftArrowButton and HorizontalScrollBar
(partTypes ScrollBarRightArrowButton HorizontalScrollBar) ComputerInput.kif 1023-1023 partTypes ScrollBarRightArrowButton and HorizontalScrollBar
(partTypes ScrollBarUpArrowButton VerticalScrollBar) ComputerInput.kif 1038-1038 partTypes ScrollBarUpArrowButton and VerticalScrollBar


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