AttachingDevice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AttachingDevice

AttachingDevice(attaching device)

anchor_chain, anchor_rope, embroidery_stitch, fastener, fastening, fixing, holdfast, holding_device, lace, lacing, nut_and_bolt, seal, sewing_stitch, shoe_lace, shoe_string, shoelace, shoestring, slide_fastener, suction_cup, zip, zip_fastener, zipper

appearance as argument number 1

(documentation AttachingDevice ChineseLanguage "这是一个把一样东西和另外一样洞系在一起的 Device，例如：钉子、螺丝和纽扣等。")	chinese_format.kif 3630-3631
(documentation AttachingDevice EnglishLanguage "A Device whose purpose is to attach one thing to something else, e.g. nails, screws, buttons, etc.")	Merge.kif 16085-16086
(externalImage AttachingDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 93/ Nail_in_a_block_of_wood.jpg/ 200px-Nail_in_a_block_of_wood.jpg")	pictureList.kif 1039-1039
(subclass AttachingDevice Device)	Merge.kif 16084-16084	Attaching device is a subclass of device

appearance as argument number 2

(subclass Anchor AttachingDevice)	Mid-level-ontology.kif 4232-4232	Anchor is a subclass of attaching device
(subclass Bolt AttachingDevice)	Cars.kif 4145-4145	Bolt is a subclass of attaching device
(subclass Button AttachingDevice)	Mid-level-ontology.kif 4255-4255	Button is a subclass of attaching device
(subclass Clamp AttachingDevice)	Mid-level-ontology.kif 4265-4265	Clamp is a subclass of attaching device
(subclass Glue AttachingDevice)	Mid-level-ontology.kif 8925-8925	Glue is a subclass of attaching device
(subclass MechanicalNut AttachingDevice)	Cars.kif 4167-4167	Nut is a subclass of attaching device
(subclass Nail AttachingDevice)	Mid-level-ontology.kif 4215-4215	Nail is a subclass of attaching device
(subclass Screw AttachingDevice)	Mid-level-ontology.kif 4182-4182	Screw is a subclass of attaching device
(subclass Tape AttachingDevice)	Mid-level-ontology.kif 4219-4219	Tape is a subclass of attaching device
(termFormat ChineseLanguage AttachingDevice "附着装置")	domainEnglishFormat.kif 8970-8970
(termFormat ChineseTraditionalLanguage AttachingDevice "附著裝置")	domainEnglishFormat.kif 8969-8969
(termFormat EnglishLanguage AttachingDevice "attaching device")	domainEnglishFormat.kif 8968-8968

antecedent

(=> (and (instance ?R Ratchet) (instance ?A AttachingDevice) (instance ?RO1 Rotating) (attribute ?RO1 ?DIR1) (instance ?RO2 Rotating) (attribute ?RO2 ?DIR2) (instance ?DIR1 RotationalAttribute) (instance ?DIR2 RotationalAttribute) (not (equal ?RO1 ?RO2)) (causes ?RO1 ?RO2) (patient ?RO1 Ratchet) (patient ?RO2 ?A)) (equal ?DIR1 ?DIR2))	Cars.kif 4912-4927	If an entity is an instance of ratchet and another entity is an instance of attaching device and the entityO1 is an instance of rotating and an attribute is an attribute of the entityO1 and the entityO2 is an instance of rotating and another attribute is an attribute of the entityO2 and the attribute is an instance of rotational attribute and the other attribute is an instance of rotational attribute and the entityO1 is not equal to the entityO2 and the entityO1 causes the entityO2 and ratchet is a patient of the entityO1 and the other entity is a patient of the entityO2, then the attribute is equal to the other attribute
(=> (instance ?DEVICE AttachingDevice) (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?DEVICE))))	Merge.kif 16088-16093	If an object is an instance of attaching device, then there exists a process such that the process is an instance of attaching and the object is an instrument for the process

consequent

(=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 AttachingDevice) (meetsSpatially ?O1 ?W) (contains ?W ?O2)))))	Mid-level-ontology.kif 4278-4286	If a physical is an instance of washer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of attaching device and the entity meets the physical and the physical contains the other entity
(=> (instance ?W Wrench) (hasPurpose ?W (exists (?R ?AD) (and (instance ?R Rotating) (instance ?AD AttachingDevice) (patient ?R ?AD) (instrument ?R ?W)))))	Cars.kif 4135-4143	If a physical is an instance of wrench, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of rotating and the other entity is an instance of attaching device and the other entity is a patient of the entity and the physical is an instrument for the entity

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