TreeView Knowledge Base Browser - Hand

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Hand

Sigma KEE - Hand

Hand(手)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12471-12472
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 109-109
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12469-12469	子類手 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12470-12470	子類手 and BodySegment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 880-880	%每個 FingerBone 是手的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 832-832	%每個 PalmBone 是手的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 744-744	%每個 WristBone 是手的 initially part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27306-27306
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27305-27305
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27304-27304

antecedent

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

Mid-level-ontology.kif 12474-12479

例 Object and 手
Object 例 Object and 臂部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1492-1500	例 Process and Perspiring 體驗者 Process and AutonomousAgent Object 例 Object and 手部分 Object and AutonomousAgent 目的地 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6622-6631	例 Process and 沖壓 agent Process and AutonomousAgent Object 例 Object and 手 attribute Object and 拳頭部分 Object and AutonomousAgent 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13083-13087	例 Process and 揮手患者 Process and Entity 例 Entity and 手
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5135-5143	穿 Animal and 可穿戴物品例可穿戴物品 and 手套 Object 例 Object and 手部分 Object and Animal 空間的符合可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19856-19858	attribute Object and 拳頭例 Object and 手
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8887-8895	例 Physical and 洗手盆有目的 Physical and entity entity 例 entity and 洗滌儀器 entity and Physical 患者 entity and entity 例 entity and 手
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12510-12515	例 Object and 手指 Object 例 Object and 手部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1457-1466	例 Physical and 處理有目的 Physical and entity entity 例 entity and 抓患者 entity and Physical 儀器 entity and entity 例 entity and 手
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13072-13077	例 Process and 手勢 Entity 例 Entity and 手患者 Process and Entity

statement

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4743-4743	等於手套 and 對於手的 covering
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2888-2888	子類 LeftHand and BodySideFn 左 and 手
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2891-2891	子類 RightHand and BodySideFn 右 and 手

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