| Ladder
| |
| appearance as argument number 1 |
|
|
| (defaultMaximumHeight Ladder (MeasureFn 12 Inch)) |
DimensioningAmenities.kif 866-866 | |
| (defaultMaximumLength Ladder (MeasureFn 60 FootLength)) |
DimensioningAmenities.kif 870-870 | |
| (defaultMaximumMeasure Ladder (MeasureFn 75 PoundMass)) |
DimensioningAmenities.kif 872-872 | |
| (defaultMaximumWidth Ladder (MeasureFn 20 Inch)) |
DimensioningAmenities.kif 868-868 | |
| (defaultMinimumHeight Ladder (MeasureFn 5 Inch)) |
DimensioningAmenities.kif 865-865 | |
| (defaultMinimumLength Ladder (MeasureFn 3 FootLength)) |
DimensioningAmenities.kif 869-869 | |
| (defaultMinimumMeasure Ladder (MeasureFn 10 PoundMass)) |
DimensioningAmenities.kif 871-871 | |
| (defaultMinimumWidth Ladder (MeasureFn 10 Inch)) |
DimensioningAmenities.kif 867-867 | |
| (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 12802-12803 | |
| (externalImage Ladder "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ tools/ BW/ ladder.png") | pictureList.kif 547-547 | |
| (subclass Ladder Artifact) | Mid-level-ontology.kif 12801-12801 |
| 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 12805-12809 |
|
|
|