Seeing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Seeing

Seeing(看)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3310-3311
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13544-13545
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11811-11811
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10248-10248
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13543-13543	看是感知的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13574-13574	看着是看的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1217-1217
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1655-1655
No TPTP formula. May not be expressible in strict first order.	french_format.kif 895-895
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 428-428
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 431-431
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2579-2579
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 847-847
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 433-433
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 467-467
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 916-916
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 432-432

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	如果施事体 employs 有认知的主事和过程是 DoNetworkMessaging 的 instance 和客体是那个过程的 result 和 NSFW 是那个客体的 attribute 和另一个过程是看的 instance 和那个客体是那个另外过程的 patient 和那个有认知的主事是那个另外过程的 agent，然后有存在实体这样那个另外过程 causes 那个实体和那个有认知的主事 suffers 从那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	如果施事体 employs 有认知的主事和那个施事体 employs 另一个有认知的主事和过程是 DoNetworkMessaging 的 instance 和客体是那个过程的 result 和 NSFW 是那个客体的 attribute 和那个有认知的主事是那个过程的 agent 和另一个过程是看的 instance 和那个客体是那个另外过程的 patient 和那个另外有认知的主事是那个另外过程的 agent，然后有存在那个有认知的主事ROC 这样那个过程 causes 那个有认知的主事ROC 和那个有认知的主事 suffers 从那个有认知的主事ROC 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 624-631	如果实体是放射光线的 instance 和施事体是人类的 instance 和过程是看的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient，然后那个实体是辐射可见光的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7350-7364	如果客体是礼堂座位的 instance 和那个客体是另一个客体的 part 和第三客体是那个另外客体的 part 和那个另外客体是礼堂的 instance 和那个第三客体是表演阶段的 instance 和第四客体是 located 在那个客体和那个第四客体是人类的 instance 和有点过程是看的 subclass 和对所有另一个过程如果那个另外过程是有点过程的 instance，然后那个第三客体是那个另外过程的 patient ，然后那个第四客体能够担当主事的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13547-13555	如果过程是看的 instance 和有认知的主事是那个过程的 agent 和实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是颜色属性的 instance 和那个有认知的主事 knows 那个另外实体是那个实体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13564-13572	如果过程是看的 instance 和实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是颜色属性的 instance 和那个另外实体是那个实体的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13557-13562	如果过程是看的 instance 和实体是那个过程的 patient，然后发光的是那个实体的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Justice.kif 61-69	如果过程是看的 instance 和客体是那个过程的 patient 和施事体是那个过程的 agent 和那个客体是客体的 instance 和那个过程在时间位置是存在和那个客体是 located 在另一个客体在那个时间位置 holdsDuring，然后那个客体是在此刻 observed 对于那个时间位置和那个另外客体在地方那个施事体

consequent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	如果配音演员是施事体的 attribute 和过程是戏剧表演的 instance 和那个施事体是那个过程的 agent 和另一个过程是语言交流的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程%n是那个过程的subProcess，然后不存在第三过程和另一个施事体这样那个第三过程是看的 instance 和那个施事体是那个第三过程的 patient 和那个另外施事体是那个第三过程的 agent 和有存在第四过程和那个另外施事体这样那个第四过程是听的 instance 和那个施事体是那个第四过程的 patient 和那个另外施事体是那个第四过程的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5488-5497	如果过程是隐瞒的 instance 和实体是那个过程的 patient，然后那个过程的目的是不存在另一个实体这样那个另外实体是看的 instance 和那个实体是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	如果一个在客体的人 can see 有点物理和那个客体是房间的 instance 和另一个客体是有点物理的 instance 和那个另外客体在那个客体的外，然后有存在实体和另一个实体这样那个实体是人类的 instance 和那个实体是 located 在那个客体和那个另外实体是看的 instance 和那个另外客体是那个另外实体的 patient 和那个实体是那个另外实体的 agent 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19773-19775	如果盲是客体的 attribute，然后那个客体不能够担当主事的角色做看
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15139-15149	如果 Translucent 是客体的 attribute，然后不存在实体，另一个实体， and 和第三实体这样那个实体是看的 instance 和那个另外实体是那个实体的 agent 和那个实体在那个第三实体结束和那个另外实体是在那个客体和那个第三实体 between 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15123-15132	如果透明是客体的 attribute，然后有存在实体，另一个实体， and 和第三实体这样那个实体是看的 instance 和那个另外实体是那个实体的 agent 和那个实体在那个第三实体结束和那个另外实体是在那个客体和那个第三实体 between 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	如果 OpenLayout 是客体的 attribute，然后那个客体是房间的 instance 和有存在另一个客体，第三客体， and 和第四客体这样那个另外客体是地区的 instance 和那个第三客体是地区的 instance 和那个另外客体是 located 在那个客体和那个第三客体是 located 在那个客体和那个另外客体不 equal 那个第三客体和那个另外客体在那个第三客体的邻和有存在公式和另一个公式这样那个公式是过程的 instance 和那个另外公式是过程的 instance 和那个另外客体的目的是那个公式和那个第三客体的目的是那个另外公式和如果那个第四客体是施事体的 instance 和那个第四客体是 located 在那个第三客体，然后那个第四客体能够担当主事的角色做看和那个另外客体能够担当受事的角色做看
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2353-2372	如果 ArtsAndRecreationTicketingServices 是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是出售的 instance 和那个另外实体是那个实体的 patient 和那个客体是那个实体的 agent 和那个另外实体是票的 instance 和那个实体在那个第三实体结束和那个另外实体的目的是那个客体允许那个第三实体执行有存在第四实体和第五实体这样那个第四实体是看的 instance 和那个第三实体是那个第四实体的 agent 和那个第五实体是那个第四实体的 patient 和那个第五实体是性能的 instance 或那个第五实体是运动的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14776-14778	如果客体是云的 instance，然后那个客体能够担当受事的角色做看
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2497-2503	如果物理是光学设备的 instance，然后那个物理的目的是有存在实体这样那个实体是看的 instance 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1161-1165	如果实体是 Exhaust 的 instance，然后那个实体能够担当受事的角色做看的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1167-1172	如果实体是 Exhaust 的 instance，然后那个实体不能够担当受事的角色做看的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12109-12111	如果客体是眼睛的 instance，然后那个客体能够担当工具的角色做看
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3566-3590	如果物理是 SafetyVest 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是动物的 instance 和那个另外实体是人类的 instance 和那个实体 wears 那个物理增加有存在第三实体这样那个第三实体是看的 instance 和那个实体是那个第三实体的 patient 和那个另外实体经历了那个第三实体发生的机率和有存在那个第三实体这样那个第三实体是看的 instance 和那个实体是那个第三实体的 patient 和那个另外实体经历了那个第三实体减少有存在第四实体这样那个第四实体是受伤的 instance 和那个另外实体是那个第四实体的 agent 和那个实体是那个第四实体的 patient 发生的机率
No TPTP formula. May not be expressible in strict first order.	Justice.kif 51-59	如果客体是在此刻 observed 对于时距和另一个客体在地方施事体，然后有存在过程这样那个过程是看的 instance 和那个施事体是那个过程的 agent 和那个过程出现的 time 在那个时距时段内发生和那个过程是 located 在那个另外客体和那个客体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Justice.kif 75-77	如果客体是在此刻 observed 对于时间位置和另一个客体在地方施事体，然后那个施事体对于看和那个时间位置和那个另外客体在事件类别主事 plays 角色
No TPTP formula. May not be expressible in strict first order.	Justice.kif 71-73	如果客体是在此刻 observed 对于时间位置和另一个客体在地方施事体，然后那个客体对于看和那个时间位置和那个另外客体在事件类别受事 plays 角色

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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