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


KB Term:  Term intersection
English Word: 

Sigma KEE - Mirror
Mirror(mirror)
cheval_glass, hand_glass, hand_mirror, mirror, outside_mirror

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


(subclass Mirror Artifact) Mid-level-ontology.kif 4142-4142 Mirror is a subclass of artifact
(documentation Mirror EnglishLanguage "An Artifact with a surface that is capable of displaying an image by reflecting light.") Mid-level-ontology.kif 4143-4144 Mirror is a subclass of artifact
(defaultMinimumHeight Mirror
    (MeasureFn 0.25 Inch))		 DimensioningAmenities.kif 950-950 The minimum expected height of mirror is 0.25 inch(s)
(defaultMaximumHeight Mirror
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 951-951 The maximum expected height of mirror is 4 inch(s)
(defaultMinimumWidth Mirror
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 952-952 The minimum expected width of mirror is 3 inch(s)
(defaultMaximumWidth Mirror
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 953-953 The maximum expected width of mirror is 60 inch(s)
(defaultMinimumLength Mirror
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 954-954 The minimum expected length of mirror is 4 inch(s)
(defaultMaximumLength Mirror
    (MeasureFn 75 Inch))		 DimensioningAmenities.kif 955-955 The maximum expected length of mirror is 75 inch(s)
(defaultMinimumMeasure Mirror
    (MeasureFn 0.5 PoundMass))		 DimensioningAmenities.kif 956-956 The minimum expected value of mirror is 0.5 pound mass(s)
(defaultMaximumMeasure Mirror
    (MeasureFn 150 PoundMass))		 DimensioningAmenities.kif 957-957 The maximum expected value of mirror is 150 pound mass(s)
(externalImage Mirror "http://upload.wikimedia.org/wikipedia/commons/5/52/ Mirror.jpg") pictureList.kif 4779-4779 The maximum expected value of mirror is 150 pound mass(s)

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


(termFormat EnglishLanguage Mirror "mirror") domainEnglishFormat.kif 37973-37973
(termFormat ChineseTraditionalLanguage Mirror "鏡子") domainEnglishFormat.kif 37974-37974
(termFormat ChineseLanguage Mirror "镜子") domainEnglishFormat.kif 37975-37975

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


(=>
    (instance ?M Mirror)
    (capability ReflectingLight instrument ?M))		 Mid-level-ontology.kif 4146-4148 If X is an instance of mirror, then X is capable of doing reflecting light as a instrument


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