TreeView Knowledge Base Browser - Hair

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Hair

Sigma KEE - Hair

Hair(頭髮)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11781-11782
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 107-107
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11783-11783	%每個頭髮是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11780-11780	子類頭髮 and 動物解剖結構

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11793-11793	子類鬍子 and 頭髮
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27204-27204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27203-27203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27202-27202

antecedent

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

Mid-level-ontology.kif 11785-11791

例 Entity and 頭髮
Entity TimePosition 例 Entity and Mammal 持有期間 TimePosition and 部分 Entity and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6461-6465	例 Organism and 家貓 sheddingBodyPart Organism and BodyPart 例 BodyPart and 頭髮
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1458-1467	例 Collection and Eyebrow attribute Object and Healthy 部分 Collection and Object 會員 Physical and Collection ObjectAIR 例 ObjectAIR and 頭髮部分 ObjectAIR and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11809-11813	例 Process and 除毛資源 Process and Object 例 Object and 頭髮
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	attribute Object and 理髮店有目的 Object and entity entity, entity and entity 例 entity and 頭髮部分 entity and entity 例 entity and Human 例 entity and Cutting 患者 entity and entity entity 是 located 在 Object agent entity and entity 採用 Object and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25385-25393	例 Physical and HairDryer 有目的 Physical and entity entity 例 entity and 頭髮例 entity and Drying 患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5472-5482	例 Physical and 面紗有目的 Physical and entity entity 例 entity and 面對空間的符合 Physical and entity 例 entity and 頭髮空間的符合 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5404-5413	例 Entity and 羊毛 Process Object and Object 例 Process and Making 結果 Process and Entity 資源 Process and Object 部分 Object and Object 例 Object and 頭髮例 Object 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