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 23164-23165
(domainSubclass partTypes 1 Object) Mid-level-ontology.kif 23160-23160
(domainSubclass partTypes 2 Object) Mid-level-ontology.kif 23161-23161
(instance partTypes BinaryPredicate) Mid-level-ontology.kif 23159-23159
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 23163-23163
(subrelation partTypes typicalPart) Mid-level-ontology.kif 23162-23162

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 23167-23174

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


(partTypes Abdomen Torso) Mid-level-ontology.kif 12254-12254
(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 1161-1161
(partTypes FrontalLobe Brain) Mid-level-ontology.kif 11330-11330
(partTypes GUISlider GUISliderIndicator) ComputerInput.kif 1069-1069
(partTypes GraphicalMenuItem GraphicalComputerMenu) ComputerInput.kif 1177-1177
(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 566-566
(partTypes Medulla Brain) Mid-level-ontology.kif 11308-11308
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11337-11337
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11322-11322
(partTypes Pons Brain) Mid-level-ontology.kif 11314-11314
(partTypes ScrollBarArrowButton ScrollBar) ComputerInput.kif 1014-1014
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 1003-1003
(partTypes ScrollBarDownArrowButton VerticalScrollBar) ComputerInput.kif 1047-1047
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar) ComputerInput.kif 1030-1030
(partTypes ScrollBarRightArrowButton HorizontalScrollBar) ComputerInput.kif 1023-1023
(partTypes ScrollBarUpArrowButton VerticalScrollBar) ComputerInput.kif 1038-1038
(partTypes TemporalLobes Brain) Mid-level-ontology.kif 11344-11344
(partTypes Waist Abdomen) Mid-level-ontology.kif 12260-12260


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