hinders - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - hinders

hinders

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2151-2153
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4395-4397
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 807-809
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4391-4391	域 hinders, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4392-4392	域子類 hinders, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4388-4388	例 hinders and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4389-4389	例 hinders and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4390-4390	例 hinders and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4393-4393	相關的內部概念 hinders and hindersSubclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3630-3630
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3629-3629
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3628-3628
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4370-4370	相關的內部概念防止 and hinders
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65851-65851

antecedent

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

Merge.kif 4399-4410

Process hinders Process
entity entity 降低可能性等於何時 Process and entity Process 是 located 在 entity and 持有期間 entity and entity 例 entity and Process entity 是 located 在 entity

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3632-3656	例 Physical and AutoAirbag 有目的 Physical and entity entity, entity, entity, entity and entity 例 entity and 汽車部分 Physical and entity 例 entity and Human 包含 entity and entity 例 entity and Impacting 患者 entity and entity 例 entity and Inflating 患者 entity and Physical 原因 entity and entity entity hinders 卡帕 entity and 例 entity and Injuring 體驗者 entity and entity entity 例 entity and Impacting 目的地 entity and entity 體驗者 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18421-18442	例 Physical and Protecting 有目的 Physical and entity entity, entity and entityARM 例 entity and Object 患者 Physical and Object 子類 entityARM and 卡帕 entity and 例 entity and 犯罪行為例 entity and Damaging 持有期間 entity and 患者 entity and entity 持有期間 entity and 患者 Physical and entity 防止 Physical and entityARM Physical hinders entityARM

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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