Screw
|
|
appearance as argument number 1 |
(documentation Screw EnglishLanguage "An AttachingDevice which contains a spiral of grooves to hold it in place and which is fastened with a Screwdriver.") | Mid-level-ontology.kif 4183-4184 | |
(externalImage Screw "http://articulatesoftware.com/SUMOpictures/tools/BW/ screw.png") | pictureList.kif 718-718 | |
(subclass Screw AttachingDevice) | Mid-level-ontology.kif 4182-4182 | Screw è una sottoclasse di AttachingDevice |
appearance as argument number 2 |
(termFormat ChineseLanguage Screw "螺丝") | domainEnglishFormat.kif 51623-51623 | |
(termFormat ChineseTraditionalLanguage Screw "螺絲") | domainEnglishFormat.kif 51622-51622 | |
(termFormat EnglishLanguage Screw "screw") | domainEnglishFormat.kif 51621-51621 |
consequent |
(=> (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 4191-4199 |
|