Pulling - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pulling

Pulling(拉)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17636-17636	不相交的拉 and Pushing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17608-17609
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17607-17607	子類拉 and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48074-48074
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48073-48073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48072-48072

antecedent

No TPTP formula. May not be expressible in strict first order.	Military.kif 759-769	例 Process and 拉 agent Process and AutonomousAgent 患者 Process and ProcessULLED 目的地 Process and Entity 持有期間 Process and 距離 AutonomousAgent, Entity and entity 距離 ProcessULLED, Entity and entity 比較多 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17638-17656	例 TimeInterval and 拉起源 TimeInterval and Object agent TimeInterval and AutonomousAgent 持有期間開始 TimeInterval and 位於 AutonomousAgent and AutonomousAgentLOC 目的地 TimeInterval and Entity 持有期間眼前的未來開始 TimeInterval and entity entity and entity 距離 AutonomousAgentLOC, Entity and 測量 entity and entity 距離 AutonomousAgentLOC, Object and 測量 entity and entity 比較多 entity and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1852-1864	例 Object and 車皮例 Process and Transportation 儀器 Process and Object AutonomousAgent 例 Process and 拉 agent Process and AutonomousAgent 患者 Process and Object 例 AutonomousAgent and 家畜例 AutonomousAgent and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7517-7522	例 AutonomousAgent and 動物團隊 Process 例 Process and 拉 agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1569-1584	例 Physical and 自動槍有目的 Physical and entity entity, entity and entity 例 entity and 拉例 entity and 槍扳機患者 entity and entity 部分 entity and Physical 例 entity and Shooting 例 entity and Shooting 儀器 entity and Physical 儀器 entity and Physical 等於 entity and entity 原因 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1586-1597	例 Physical and 槍扳機有目的 Physical and entity entity and entity 例 entity and 自動槍部分 Physical and entity 患者 entity and Physical 例 entity and 拉例 entity and Shooting 儀器 entity and entity 原因 entity and entity

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