TreeView Knowledge Base Browser - Eye

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Eye

Sigma KEE - Eye

Eye(眼睛)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12135-12135
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 421-421
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 87-87
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12134-12134	眼睛是动物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12133-12133	眼睛是器官的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12162-12162	%每个 Cornea 是眼睛的 initially part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23038-23038
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23037-23037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23036-23036

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12137-12139	如果客体是眼睛的 instance，然后那个客体能够担当工具的角色做看
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12141-12146	如果客体是眼睛的 instance，然后有存在另一个客体这样那个另外客体是头的 instance 和那个客体是那个另外客体的 part

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1129-1139	如果转移是 Crying 的 instance 和施事体经历了那个转移，然后有存在客体和另一个客体这样那个客体是泪液的 instance 和那个另外客体是那个转移的源头和 objectTransferred 那个转移 and 那个客体和那个另外客体是眼睛的 instance 和那个另外客体是那个施事体的 part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1439-1448	如果客体是 Eyebrow 的 instance 和 Healthy 是另一个客体的 attribute 和那个客体是那个另外客体的 part，然后有存在那个客体YE 这样那个客体YE 是眼睛的 instance 和那个客体YE 是那个另外客体的 part 和那个客体YE 在那个客体的近
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	如果客体是 Eyebrow 的 instance 和 Healthy 是另一个客体的 attribute 和站立是那个另外客体的 attribute 在时间位置 holdsDuring 和那个客体是那个另外客体的 part，然后有存在那个客体YE 这样那个客体YE 是眼睛的 instance 和那个客体YE 是那个另外客体的 part 和那个客体在那个客体YE 的以上
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1488-1500	如果客体是 Forehead 的 instance 和 Healthy 是另一个客体的 attribute 和站立是那个另外客体的 attribute 在时间位置 holdsDuring 和第三客体是那个另外客体的 part，然后有存在那个第三客体YE 这样那个第三客体YE 是眼睛的 instance 和那个第三客体YE 是那个另外客体的 part 和那个客体在那个第三客体YE 的以上
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12190-12203	如果物理是眼皮的 instance，然后那个物理的目的是有存在那个物理YE，另一个实体， and 和第三实体这样那个第三实体是遮盖的 instance 和那个第三实体是身体运动的 instance 和那个另外实体是人类的 instance 和那个另外实体经历了那个第三实体和那个物理是导致那个第三实体的 instrument 和那个物理YE 是那个第三实体的 patient 和那个物理YE 是眼睛的 instance 和那个物理YE 是那个另外实体的 part 和那个物理是那个另外实体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12209-12214	如果客体是 EyeIris 的 instance，然后有存在另一个客体这样那个另外客体是眼睛的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12153-12159	如果洞是 Pupil 的 instance，然后有存在客体这样那个客体是眼睛的 instance 和那个客体 equal 洞那个洞的主体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3467-3494	如果物理是防护眼镜的 instance，然后那个物理的目的是如果有存在那个物理RSON 这样那个物理RSON 是人类的 instance 和那个物理RSON wears 那个物理，然后有存在另一个实体，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个另外实体是过程的 instance 和那个物理是导致那个另外实体的 instrument 和那个第四实体是那个第五实体所描述的类别的 subclass 和那个另外实体 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3496-3509	如果物理是防护眼镜的 instance，然后那个物理的目的是有存在那个物理RSON，另一个实体,，，第三实体， and 和第四实体这样那个物理RSON 是动物的 instance 和那个另外实体是面对的 instance 和那个第三实体是眼睛的 instance 和那个第三实体是那个另外实体的 properPart 和那个另外实体是那个物理RSON 的 properPart 和那个物理RSON wears 那个物理和那个第四实体是遮盖的 instance 和那个物理是那个第四实体的 agent 和那个另外实体是那个第四实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11085-11090	如果客体是视网膜的 instance，然后有存在另一个客体这样那个另外客体是眼睛的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12402-12410	如果物理是泪液的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是 Lubricating 的 instance 和 objectTransferred 那个实体 and 那个物理和那个另外实体是眼睛的 instance 和那个实体在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1718-1724	如果 visualAcuity 人类, 整数 and 另一个整数，然后有存在另一个人类这样 ImpairedBodyPartFn 眼睛不是那个另外人类的 attribute 和 visualAcuity 那个另外人类, 那个另外整数 and 那个另外整数

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2882-2882	LeftEye 是 BodySideFn 左 and 眼睛的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2885-2885	RightEye 是 BodySideFn 右 and 眼睛的 subclass

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