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


KB Term:  Term intersection
English Word: 

Sigma KEE - IroningBoard
IroningBoard(ironing board)ironing_board

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


(subclass IroningBoard Device) Mid-level-ontology.kif 27517-27517 Ironing board is a subclass of device
(documentation IroningBoard EnglishLanguage "IroningBoard is a type of Device consisting of a flat, padded board used as a surface for ironing") Mid-level-ontology.kif 27518-27519 Ironing board is a subclass of device
(defaultMinimumWidth IroningBoard
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 128-128 The minimum expected width of ironing board is 12 inch(s)
(defaultMaximumWidth IroningBoard
    (MeasureFn 14 Inch))		 DimensioningAmenities.kif 129-129 The maximum expected width of ironing board is 14 inch(s)
(defaultMinimumLength IroningBoard
    (MeasureFn 29 Inch))		 DimensioningAmenities.kif 130-130 The minimum expected length of ironing board is 29 inch(s)
(defaultMaximumLength IroningBoard
    (MeasureFn 54 Inch))		 DimensioningAmenities.kif 131-131 The maximum expected length of ironing board is 54 inch(s)
(defaultMinimumMeasure IroningBoard
    (MeasureFn 4 PoundMass))		 DimensioningAmenities.kif 132-132 The minimum expected value of ironing board is 4 pound mass(s)
(defaultMaximumMeasure IroningBoard
    (MeasureFn 15 PoundMass))		 DimensioningAmenities.kif 133-133 The maximum expected value of ironing board is 15 pound mass(s)

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


(termFormat EnglishLanguage IroningBoard "ironing board") Mid-level-ontology.kif 27520-27520

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


(=>
    (instance ?BOARD IroningBoard)
    (hasPurpose ?BOARD
        (exists (?IRON ?FABRIC ?OBJ)
            (and
                (instance ?IRON Ironing)
                (patient ?IRON ?OBJ)
                (part ?FABRIC ?OBJ)
                (instance ?FABRIC Fabric)
                (holdsDuring
                    (WhenFn ?IRON)
                    (orientation ?OBJ ?BOARD On))))))		 Mid-level-ontology.kif 27522-27533 If X is an instance of ironing board, then X has the purpose there exist Y, Z, W such that Y is an instance of ironing, W is a patient of Y, Z is a part of W, Z is an instance of fabric, and W is on to X holds during the time of existence of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners