TreeView Knowledge Base Browser - SafetyHarness

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ArabMaghrebUnion

Sigma KEE - SafetyHarness

SafetyHarness

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3406-3406
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1557-1557
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3404-3404	SafetyHarness e' uma sub-classe de SafetyDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3405-3405	SafetyHarness e' uma sub-classe de WearableItem

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50783-50783
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50782-50782
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50781-50781

antecedent

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

Cars.kif 3374-3402

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