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

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 16035-16036
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 16034-16034	AttachingDevice e' uma sub-classe de Aparelho

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4239-4239	Anchor e' uma sub-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4168-4168	Bolt e' uma sub-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4262-4262	Button e' uma sub-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4272-4272	Clamp e' uma sub-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8897-8897	Glue e' uma sub-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4190-4190	MechanicalNut e' uma sub-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4222-4222	Nail e' uma sub-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4189-4189	Screw e' uma sub-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4226-4226	Tape e' uma sub-classe de AttachingDevice
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 4935-4950	Entidade e' uma instancia de Ratchet Entidade e' uma instancia de AttachingDevice EntidadeO1 e' uma instancia de Rotating Atributo e' um atributo de EntidadeO1 EntidadeO2 e' uma instancia de Rotating Atributo e' um atributo de EntidadeO2 Atributo e' uma instancia de RotationalAttribute Atributo e' uma instancia de RotationalAttribute EntidadeO1 e' igual a EntidadeO2 EntidadeO1 causa EntidadeO2 Ratchet e' um patient de EntidadeO1 Entidade e' um patient de EntidadeO2 Atributo e' igual a Atributo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16038-16043	Objeto e' uma instancia de AttachingDevice Processo Processo e' uma instancia de Colar Objeto e' um instrumento para Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4285-4293	Fisico e' uma instancia de WasherForBolt Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Objeto Corpuscular Entidade e' uma instancia de AttachingDevice Entidade encontra Fisico Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4158-4166	Fisico e' uma instancia de Wrench Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Rotating Entidade e' uma instancia de AttachingDevice Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade

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