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 857-857
(defaultMaximumLength PictureFrame
    (MeasureFn 36 Inch))
DimensioningAmenities.kif 861-861
(defaultMaximumMeasure PictureFrame
    (MeasureFn 30 PoundMass))
DimensioningAmenities.kif 863-863
(defaultMaximumWidth PictureFrame
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 859-859
(defaultMinimumHeight PictureFrame
    (MeasureFn 0.5 Inch))
DimensioningAmenities.kif 856-856
(defaultMinimumLength PictureFrame
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 860-860
(defaultMinimumMeasure PictureFrame
    (MeasureFn 0.5 PoundMass))
DimensioningAmenities.kif 862-862
(defaultMinimumWidth PictureFrame
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 858-858
(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 8053-8053

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