TreeView Knowledge Base Browser - Respirator

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Respirator

Respirator

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3514-3514
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1954-1954
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3513-3513	Respirator e' uma sub-classe de Mask
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3511-3511	Respirator e' uma sub-classe de SafetyDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3512-3512	Respirator e' uma sub-classe de WearableItem

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4868-4868	N95Mask e' uma sub-classe de Respirator
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49750-49750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49749-49749
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49748-49748

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 3516-3537

WearableItem e' uma instancia de Respirator Animal e' uma instancia de Animal Animal usa WearableItem
WearableItem tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Entidade proibe a ocurrencia de Entidade Entidade e' uma sub-classe de a classe descrita por 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