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 21718-21718
(domainSubclass partTypes 1 Object) Mid-level-ontology.kif 21714-21714 The number 1 argument of partTypes is a subclass of object
(domainSubclass partTypes 2 Object) Mid-level-ontology.kif 21715-21715 The number 2 argument of partTypes is a subclass of object
(instance partTypes BinaryPredicate) Mid-level-ontology.kif 21713-21713 partTypes is an instance of binary predicate
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 21717-21717 partTypes is internally related to part
(subrelation partTypes typicalPart) Mid-level-ontology.kif 21716-21716 partTypes is a subrelation of typical part

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


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

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


(=>
    (and
        (partTypes ?PART_TYPE ?WHOLE_TYPE)
        (instance ?PART ?PART_TYPE))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?WHOLE_TYPE)
            (part ?PART ?WHOLE))))
Mid-level-ontology.kif 21722-21729

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


(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1161-1161 Every ComputerMenuItem is a part of a ComputerMenu
(partTypes GUISlider GUISliderIndicator) ComputerInput.kif 1069-1069 Every GUISlider is a part of a GUISliderIndicator
(partTypes GraphicalMenuItem GraphicalComputerMenu) ComputerInput.kif 1177-1177 Every GraphicalMenuItem is a part of a GraphicalComputerMenu
(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 566-566 Every InternalComputerLoudspeaker is a part of a computer hardware
(partTypes ScrollBarArrowButton ScrollBar) ComputerInput.kif 1014-1014 Every ScrollBarArrowButton is a part of a ScrollBar
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 1003-1003 Every ScrollBarBar is a part of a ScrollBar
(partTypes ScrollBarDownArrowButton VerticalScrollBar) ComputerInput.kif 1047-1047 Every ScrollBarDownArrowButton is a part of a VerticalScrollBar
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar) ComputerInput.kif 1030-1030 Every ScrollBarLeftArrowButton is a part of a HorizontalScrollBar
(partTypes ScrollBarRightArrowButton HorizontalScrollBar) ComputerInput.kif 1023-1023 Every ScrollBarRightArrowButton is a part of a HorizontalScrollBar
(partTypes ScrollBarUpArrowButton VerticalScrollBar) ComputerInput.kif 1038-1038 Every ScrollBarUpArrowButton is a part of a 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