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


KB Term:  Term intersection
English Word: 

  Screwdriver

 Sigma KEE - Screwdriver
Screwdriver(screwdriver)ratchet_screwdriver, screwdriver, spiral_ratchet_screwdriver

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


(subclass Screwdriver Device) Mid-level-ontology.kif 4839-4839 Screwdriver is a subclass of device
(documentation Screwdriver EnglishLanguage "A Device that is used to rotate a Screw, which by the action of its helical threads is driven into a medium that is softer than the material of the screw itself.") Mid-level-ontology.kif 4840-4842 Screwdriver is a subclass of device
(defaultMinimumHeight Screwdriver
    (MeasureFn 1 Centimeter))		 DimensioningAmenities.kif 795-795 The minimum expected height of screwdriver is 1 centimeter(s)
(defaultMaximumHeight Screwdriver
    (MeasureFn 5 Centimeter))		 DimensioningAmenities.kif 796-796 The maximum expected height of screwdriver is 5 centimeter(s)
(defaultMinimumWidth Screwdriver
    (MeasureFn 1 Centimeter))		 DimensioningAmenities.kif 797-797 The minimum expected width of screwdriver is 1 centimeter(s)
(defaultMaximumWidth Screwdriver
    (MeasureFn 5 Centimeter))		 DimensioningAmenities.kif 798-798 The maximum expected width of screwdriver is 5 centimeter(s)
(defaultMinimumLength Screwdriver
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 799-799 The minimum expected length of screwdriver is 4 inch(s)
(defaultMaximumLength Screwdriver
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 800-800 The maximum expected length of screwdriver is 12 inch(s)
(defaultMinimumMeasure Screwdriver
    (MeasureFn 8 OunceMass))		 DimensioningAmenities.kif 801-801 The minimum expected value of screwdriver is 8 Ounce(s)
(defaultMaximumMeasure Screwdriver
    (MeasureFn 48 OunceMass))		 DimensioningAmenities.kif 802-802 The maximum expected value of screwdriver is 48 Ounce(s)

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


(termFormat EnglishLanguage Screwdriver "screwdriver") domainEnglishFormat.kif 65454-65454

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


(=>
    (instance ?D Screwdriver)
    (hasPurpose ?D
        (exists (?R ?S)
            (and
                (instance ?R Rotating)
                (instrument ?R ?D)
                (patient ?R ?S)
                (instance ?S Screw)))))		 Mid-level-ontology.kif 4844-4852 If X is an instance of screwdriver, then X has the purpose there exist Y, Z such that Y is an instance of rotating, X is an instrument for Y, Z is a patient of Y, and Z is an instance of screw


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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