TreeView Knowledge Base Browser - WasherForBolt

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WasherForBolt

WasherForBolt(washer)

lock_ring, lock_washer, lockring

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4273-4276
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4270-4270	Washer is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62255-62255
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62254-62254
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62253-62253

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4288-4290	If an object is an instance of washer, then ring torus is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4300-4305	If an object is an instance of washer, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4292-4298	If a physical is an instance of washer, then the physical has the purpose there exists an entity such that the entity is an instance of bolt and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	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

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