Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PictureFrame
PictureFrame

appearance as argument number 1
-------------------------


(defaultMaximumHeight PictureFrame
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 1104-1104
(defaultMaximumLength PictureFrame
    (MeasureFn 36 Inch))
DimensioningAmenities.kif 1108-1108
(defaultMaximumMeasure PictureFrame
    (MeasureFn 30 PoundMass))
DimensioningAmenities.kif 1110-1110
(defaultMaximumWidth PictureFrame
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 1106-1106
(defaultMinimumHeight PictureFrame
    (MeasureFn 0.5 Inch))
DimensioningAmenities.kif 1103-1103
(defaultMinimumLength PictureFrame
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 1107-1107
(defaultMinimumMeasure PictureFrame
    (MeasureFn 0.5 PoundMass))
DimensioningAmenities.kif 1109-1109
(defaultMinimumWidth PictureFrame
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 1105-1105
(documentation PictureFrame EnglishLanguage "A frame which surrounds a PaintedPicture or Photograph and has the function of protecting and accenting the picture.") Mid-level-ontology.kif 1951-1952
(externalImage PictureFrame "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Frame.agr.jpg") pictureList.kif 100-100
(externalImage PictureFrame "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ household/ picture_frame.png") pictureList.kif 665-665
(subclass PictureFrame Artifact) Mid-level-ontology.kif 1950-1950

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


(termFormat EnglishLanguage PictureFrame "picture frame") domainEnglishFormat.kif 8054-8054

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


(=>
    (instance ?F PictureFrame)
    (hasPurpose ?F
        (exists (?P)
            (and
                (meetsSpatially ?F ?P)
                (or
                    (instance ?P PaintedPicture)
                    (instance ?P Photograph))))))
Mid-level-ontology.kif 1954-1962


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