TreeView Knowledge Base Browser - Looking

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Looking

Looking(看着)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3312-3312
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13576-13576
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6677-6677
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13575-13575	看着是有意图过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13574-13574	看着是看的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35021-35021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35020-35020
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35019-35019

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2724-2744	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是一天的时间的 instance 和过程是看着的 instance 和客体是客体的 instance 和那个客体是黑色的 color 和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2746-2767	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是晚上的时间的 instance 和过程是看着的 instance 和客体是地区的 instance 和发光的是那个客体的 attribute 和那个客体的 measure 是 1000.0 坎德拉和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15886-15899	如果过程是 Commenting 的 instance 和实体是过程的 instance 和那个实体是那个过程的 patient，然后有存在施事体，另一个过程， and 和第三过程这样那个施事体是施事体的 instance 和那个另外过程是说话的 instance 和那个第三过程是看着的 instance 和那个施事体是那个另外过程的 agent 和那个施事体是那个第三过程的 agent 和那个实体是那个第三过程的 patient 和那个另外过程提到那个实体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2705-2722	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance，然后不存在过程，施事体,，，客体， and 和另一个实数这样那个过程是看着的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程出现的 time 在那个时距时段内发生和那个过程是 located 在那个地区和那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1726-1733	如果 visualAcuity 人类, 整数 and 另一个整数，然后有存在实体和过程这样那个实体是 SnellenChart 的 instance 和那个过程是看着的 instance 和那个过程在那个实体结束和那个人类是那个过程的 agent

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