TreeView Knowledge Base Browser - Head

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Head

Sigma KEE - Head

Head(頭)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12894-12895
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 493-493
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 111-111
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12892-12892	子類頭 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12893-12893	子類頭 and BodyPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1438-1438	%每個 Eyebrow 是頭的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1487-1487	%每個 Forehead 是頭的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 55-55	%每個 HeadBone 是頭的 initially part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27684-27684
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27683-27683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27682-27682

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 510-516	例可穿戴物品 and Earphone 穿 Animal and 可穿戴物品例 Object and 頭部分 Object and Animal 位於可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11514-11524	例 Object and Vertebrate 例 Object and 頭部分 Object and Object attribute Object and Healthy Collection Object 例 Collection and 頭骨會員 Object and Collection 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11526-11535	例 Object and Vertebrate 例 Object and 頭部分 Object and Object 例 Collection and 頭骨 attribute Object and Healthy 會員 Object and Collection 部分 Object and Object 部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13090-13094	例 Process and 點頭患者 Process and Entity 例 Entity and 頭
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5144-5152	穿 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 19364-19369	例 Physical and 頭痛 Object 例 Object and 頭位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12175-12180	例 Object and 耳 Object 例 Object and 頭部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12141-12146	例 Object and 眼睛 Object 例 Object and 頭部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12914-12919	例 Object and 面對 Object 例 Object and 頭部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12902-12907	例 Object and 頸部 Object 例 Object and 頭連接的 Object and Object

statement

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5142-5142	子類帽子 and 對於頭的 covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19360-19360	子類頭痛 and PainFn 頭
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4345-4345	子類 Helmet and 對於頭的 covering

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