| Ladder
| |
| appearance as argument number 1 |
|
|
| (defaultMaximumHeight Ladder (MeasureFn 12 Inch)) |
DimensioningAmenities.kif 1113-1113 | |
| (defaultMaximumLength Ladder (MeasureFn 60 FootLength)) |
DimensioningAmenities.kif 1117-1117 | |
| (defaultMaximumMeasure Ladder (MeasureFn 75 PoundMass)) |
DimensioningAmenities.kif 1119-1119 | |
| (defaultMaximumWidth Ladder (MeasureFn 20 Inch)) |
DimensioningAmenities.kif 1115-1115 | |
| (defaultMinimumHeight Ladder (MeasureFn 5 Inch)) |
DimensioningAmenities.kif 1112-1112 | |
| (defaultMinimumLength Ladder (MeasureFn 3 FootLength)) |
DimensioningAmenities.kif 1116-1116 | |
| (defaultMinimumMeasure Ladder (MeasureFn 10 PoundMass)) |
DimensioningAmenities.kif 1118-1118 | |
| (defaultMinimumWidth Ladder (MeasureFn 10 Inch)) |
DimensioningAmenities.kif 1114-1114 | |
| (documentation Ladder EnglishLanguage "An Artifact which consists of two parallel supports connected by a series of rungs which can be used to ascend or descend.") | Mid-level-ontology.kif 12542-12543 | |
| (externalImage Ladder "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ tools/ BW/ ladder.png") | pictureList.kif 547-547 | |
| (subclass Ladder Artifact) | Mid-level-ontology.kif 12541-12541 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Ladder "ladder") | domainEnglishFormat.kif 5931-5931 |
| antecedent |
|
|
| (=> (instance ?LADDER Ladder) (and (capability MotionUpward instrument ?LADDER) (capability MotionDownward instrument ?LADDER))) |
Mid-level-ontology.kif 12545-12549 |
|
|
|