TreeView Knowledge Base Browser - hindersSubclass

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

hindersSubclass

Sigma KEE - hindersSubclass

hindersSubclass

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2139-2142
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4312-4317
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 795-798
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4309-4309	O argumento numero 1 de hindersSubclass e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4310-4310	O argumento numero 2 de hindersSubclass e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4306-4306	hindersSubclass e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4307-4307	hindersSubclass e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4308-4308	hindersSubclass e' uma instancia de Relacao Parcial

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3634-3634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3633-3633
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3632-3632
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4393-4393	hinders e' relacionado internamente por SUMO a hindersSubclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4339-4339	preventsSubclass e' relacionado internamente por SUMO a hindersSubclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65852-65852

antecedent

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

Merge.kif 4319-4332

hindersSubclass Processo and Processo
Entidade Entidade Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Entidade vale durante Entidade diminui a probabilidade de Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Entidade vale durante 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