TreeView Knowledge Base Browser - Skin

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Skin

Sigma KEE - Skin

Skin(皮肤)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10987-10988
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 170-170
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10986-10986	皮肤是动物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10985-10985	皮肤是身体外层的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12154-12154	眼皮是皮肤的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53324-53324
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53323-53323
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53322-53322

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5041-5046	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是小羊皮的 subclass 和另一个有点客体是皮肤的 subclass，然后 %每个那个另外有点客体是羔羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5051-5056	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是羊皮的 subclass 和另一个有点客体是皮肤的 subclass，然后 %每个那个另外有点客体是羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6219-6228	如果洞是 Laceration 的 instance 和客体是皮肤的 instance 和那个客体 equal 洞那个洞的主体和那个客体是另一个客体的 part，然后有存在过程这样那个过程是刺的 instance 和那个洞是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10990-10997	如果客体是皮肤的 instance，然后有存在自身连接物体和另一个自身连接物体这样那个自身连接物体是那个另外自身连接物体的 surface 和那个客体是那个另外自身连接物体的 part 和那个另外自身连接物体是动物的 instance 和那个客体和那个自身连接物体重叠

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5032-5036	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是毛皮的 subclass，然后有点有机物体是皮肤的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11820-11827	如果过程是去皮的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是皮肤的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6467-6471	如果生物是爬虫类的 instance 和 sheddingBodyPart 那个生物 and 身体部位，然后那个身体部位是皮肤的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11004-11014	如果过程是 Sunburn 的 instance 和施事体经历了那个过程，然后有存在另一个过程和那个过程KIN 这样那个另外过程是损坏的 instance 和太阳是导致那个另外过程的 instrument 和那个过程KIN 是皮肤的 instance 和那个过程KIN 是那个施事体的 part 和那个过程KIN 是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11022-11032	如果过程是 Tanning 的 instance 和施事体经历了那个过程，然后有存在另一个过程和那个过程KIN 这样那个另外过程是辐射紫外线的 instance 和太阳是导致那个另外过程的 instrument 和那个过程KIN 是皮肤的 instance 和那个过程KIN 是那个施事体的 part 和那个过程KIN 是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4389-4395	如果 Eczema 是施事体的 attribute，然后有存在实体这样那个实体是 InflammationFn 皮肤的 instance 和那个施事体经历了过程
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6144-6154	如果 OpenFracture 是客体的 attribute 在时间位置 holdsDuring，然后有存在另一个客体和第三客体这样那个另外客体是皮肤的 instance 和那个另外客体是那个客体的 part 和那个第三客体是骨骼的 instance 和那个第三客体是那个客体的 part 和那个第三客体 traverses 那个另外客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6212-6217	如果洞是 Laceration 的 instance，然后有存在客体这样那个客体是皮肤的 instance 和那个客体 equal 洞那个洞的主体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5377-5384	如果实体是皮革的 instance，然后有存在过程和客体这样那个过程是制作的 instance 和那个客体是那个过程的 resource 和那个客体是皮肤的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12447-12456	如果转移是 TopicalApplication 的 instance，然后有存在客体，另一个客体， and 和第三客体这样那个客体是医学的 instance 和那个另外客体是动物的 instance 和那个第三客体是皮肤的 instance 和那个第三客体是那个另外客体的 part 和 objectTransferred 那个转移 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