TreeView Knowledge Base Browser - Stealing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Stealing

Stealing(偷竊行為)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18580-18583
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2002-2002
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18579-18579	子類偷竊行為 and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18578-18578	子類偷竊行為 and UnilateralGetting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18595-18595	子類劫財 and 偷竊行為
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55212-55212
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55211-55211
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55210-55210

antecedent

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

Mid-level-ontology.kif 18585-18593

例 Process and 偷竊行為目的地 Process and CognitiveAgent 起源 Process and Object 例 Object and CognitiveAgent
賦予權利目的地 Process and CognitiveAgent, Object and CognitiveAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	例 Object and CarAlarm 例 Object and 自供電公路車輛部分 Object and Object entity entity, entity and entity 有目的 Object and 例 entity and 偷竊行為例 entity and Damaging 例 entity and Human agent entity and entity 患者 entity and Object 等於何時 entity and entity entity 是 partly located 在 entity entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 有目的 entity and 增加可能性 entity 例 entity and Human 持有期間 entity and 方位 entity, entity and 近 and 知道 entity and entity 例 entity and 偷竊行為例 entity and Damaging entity 是 partly located 在 entity 持有期間 entity and 患者 entity and Object 飾面何時 entity and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1016-1034	例 Physical and FuelCapLock 有目的 Physical and entity entity and entity 例 entity and GasTank hole entity and entity 降低可能性持有期間 entity and 連接的 Physical and entity attribute Physical and 鎖定 and 持有期間 entity and entity entity 例 entity and 偷竊行為例 entity and 汽油位於 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4002-4020	例 Physical and SteeringColumnLock 有目的 Physical and entity entity, entity and entity 例 entity and SteeringColumn 例 entity and 汽車零件 entity and entity 部分 Physical and entity 例 entity and Protecting 儀器 entity and Physical 降低可能性持有期間 entity and attribute Physical and 鎖定 and 持有期間 entity and entity 例 entity and 偷竊行為患者 entity and entity

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