TreeView Knowledge Base Browser - AttachingDevice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AttachingDevice

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3630-3631
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16013-16014
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1039-1039
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16012-16012	Attaching device is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4239-4239	Anchor is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4160-4160	Bolt is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4262-4262	Button is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4272-4272	Clamp is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8898-8898	Glue is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4182-4182	Nut is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4222-4222	Nail is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4189-4189	Screw is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4226-4226	Tape is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8970-8970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8969-8969
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8968-8968

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4927-4942	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16016-16021	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4285-4293	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4150-4158	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 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 is open source software produced by Articulate Software and its partners