TreeView Knowledge Base Browser - preventsSubclass

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

preventsSubclass

Sigma KEE - preventsSubclass

preventsSubclass

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2143-2147
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4342-4347
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 799-803
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4338-4338	The number 1 argument of prevents subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4339-4339	The number 2 argument of prevents subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4335-4335	prevents subclass is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4336-4336	prevents subclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4337-4337	prevents subclass is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4340-4340	prevents subclass is internally related to hinders subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4206-4206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4205-4205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4204-4204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4370-4370	prevents is internally related to prevents subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65916-65916

antecedent

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

Merge.kif 4349-4363

If instances of a kind of process prevent instances of another kind of process,
then for all a time position and an entity
- if there exists another entity such that the other entity is an instance of a kind of process and the other entity is located at the entity holds during the time position,
- then there exists a third entity such that the third entity is an instance of another kind of process and the third entity is located at the entity doesn't hold during the time position

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