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

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	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 4160-4160	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 8898-8898	Glue e' uma sub-classe de AttachingDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4182-4182	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 4927-4942	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 16016-16021	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 4150-4158	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 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