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 21681-21681
(domainSubclass partTypes 1 Object) Mid-level-ontology.kif 21677-21677 The number 1 argument of partTypes is a subclass of object
(domainSubclass partTypes 2 Object) Mid-level-ontology.kif 21678-21678 The number 2 argument of partTypes is a subclass of object
(instance partTypes BinaryPredicate) Mid-level-ontology.kif 21676-21676 partTypes is an instance of binary predicate
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 21680-21680 partTypes is internally related to part
(subrelation partTypes typicalPart) Mid-level-ontology.kif 21679-21679 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 21685-21692

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


(partTypes ComputerMenuItem ComputerMenu) ComputerInput.kif 963-963 Every ComputerMenuItem is a part of a ComputerMenu
(partTypes GraphicalMenuItem GraphicalComputerMenu) ComputerInput.kif 976-976 Every GraphicalMenuItem is a part of a GraphicalComputerMenu
(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 486-486 Every InternalComputerLoudspeaker is a part of a computer hardware


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners