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


KB Term:  Term intersection
English Word: 

Sigma KEE - Ladder
Ladder(ladder)
articulated_ladder, companionway, ladder, rope_ladder

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


(subclass Ladder Artifact) Mid-level-ontology.kif 16634-16634 Ladder is a subclass of artifact
(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 16635-16636 Ladder is a subclass of artifact
(defaultMinimumHeight Ladder
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 865-865 The minimum expected height of ladder is 5 inch(s)
(defaultMaximumHeight Ladder
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 866-866 The maximum expected height of ladder is 12 inch(s)
(defaultMinimumWidth Ladder
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 867-867 The minimum expected width of ladder is 10 inch(s)
(defaultMaximumWidth Ladder
    (MeasureFn 20 Inch))		 DimensioningAmenities.kif 868-868 The maximum expected width of ladder is 20 inch(s)
(defaultMinimumLength Ladder
    (MeasureFn 3 FootLength))		 DimensioningAmenities.kif 869-869 The minimum expected length of ladder is 3 foot length(s)
(defaultMaximumLength Ladder
    (MeasureFn 60 FootLength))		 DimensioningAmenities.kif 870-870 The maximum expected length of ladder is 60 foot length(s)
(defaultMinimumMeasure Ladder
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 871-871 The minimum expected value of ladder is 10 pound mass(s)
(defaultMaximumMeasure Ladder
    (MeasureFn 75 PoundMass))		 DimensioningAmenities.kif 872-872 The maximum expected value of ladder is 75 pound mass(s)
(externalImage Ladder "http://articulatesoftware.com/SUMOpictures/tools/ BW/ ladder.png") pictureList.kif 547-547 The maximum expected value of ladder is 75 pound mass(s)

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


(termFormat EnglishLanguage Ladder "ladder") domainEnglishFormat.kif 33081-33081
(termFormat ChineseTraditionalLanguage Ladder "階梯") domainEnglishFormat.kif 33082-33082
(termFormat ChineseLanguage Ladder "阶梯") domainEnglishFormat.kif 33083-33083

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


(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))		 Mid-level-ontology.kif 16638-16642 If X is an instance of ladder, then X is capable of doing motion upward as a instrument and X is capable of doing motion downward 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