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 23192-23193
(domainSubclass partTypes 1 Object) Mid-level-ontology.kif 23188-23188
(domainSubclass partTypes 2 Object) Mid-level-ontology.kif 23189-23189
(instance partTypes BinaryPredicate) Mid-level-ontology.kif 23187-23187
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 23191-23191
(subrelation partTypes typicalPart) Mid-level-ontology.kif 23190-23190

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 23195-23202

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


(partTypes Abdomen Torso) Mid-level-ontology.kif 12281-12281
(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1132-1132
(partTypes FrontalLobe Brain) Mid-level-ontology.kif 11356-11356
(partTypes GUISlider GUISliderIndicator) ComputerInput.kif 1040-1040
(partTypes GraphicalMenuItem GraphicalComputerMenu) ComputerInput.kif 1147-1147
(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 539-539
(partTypes Medulla Brain) Mid-level-ontology.kif 11334-11334
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11363-11363
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11348-11348
(partTypes Pons Brain) Mid-level-ontology.kif 11340-11340
(partTypes ScrollBarArrowButton ScrollBar) ComputerInput.kif 985-985
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 974-974
(partTypes ScrollBarDownArrowButton VerticalScrollBar) ComputerInput.kif 1018-1018
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar) ComputerInput.kif 1001-1001
(partTypes ScrollBarRightArrowButton HorizontalScrollBar) ComputerInput.kif 994-994
(partTypes ScrollBarUpArrowButton VerticalScrollBar) ComputerInput.kif 1009-1009
(partTypes TemporalLobes Brain) Mid-level-ontology.kif 11370-11370
(partTypes Waist Abdomen) Mid-level-ontology.kif 12287-12287


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