TreeView Knowledge Base Browser - Seeing

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

(documentation Seeing ChineseLanguage "这个 subclass 是属于由视觉 Organ 作出感觉的 Perception。")	chinese_format.kif 3310-3311
(documentation Seeing EnglishLanguage "The subclass of Perception in which the sensing is done by an ocular Organ.")	Merge.kif 13544-13545
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg")	pictureList.kif 11811-11811
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg")	pictureList.kif 10248-10248
(subclass Seeing Perception)	Merge.kif 13543-13543	Seeing ist eine teilkategorie von Perception

appearance as argument number 2

(subclass Looking Seeing)	Merge.kif 13574-13574	Looking ist eine teilkategorie von Seeing
(termFormat ChineseLanguage Seeing "看")	chinese_format.kif 1217-1217
(termFormat EnglishLanguage Seeing "seeing")	english_format.kif 1655-1655
(termFormat FrenchLanguage Seeing "voir")	french_format.kif 895-895
(termFormat Hindi Seeing "darshana")	terms-hindi.txt 428-428
(termFormat ItalianLanguage Seeing "Vista")	terms-it.txt 431-431
(termFormat JapaneseLanguage Seeing "見ること")	japanese_format.kif 2579-2579
(termFormat PortugueseLanguage Seeing "Visao")	portuguese_format.kif 847-847
(termFormat cb Seeing "pagtan-aw")	terms-cb.txt 433-433
(termFormat cz Seeing "seeing")	terms-cz.txt 467-467
(termFormat ro Seeing "vedere")	relations-ro.kif 916-916
(termFormat tg Seeing "nagkikita")	terms-tg.txt 432-432

antecedent

(=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility))	Medicine.kif 3040-3054	Wenn AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Process ist ein fall von DoNetworkMessaging %n{nicht} und Object ist ein resultat von Process %n{nicht} und NSFW ist ein attribut von Object %n{nicht} und Process ist ein fall von Seeing %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann die Aussage es gibt entity um Process verursacht entity %n{nicht} und suffers entity and CognitiveAgent hat die modale Kraft von Possibility
(=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely))	Medicine.kif 3022-3038	Wenn AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Process ist ein fall von DoNetworkMessaging %n{nicht} und Object ist ein resultat von Process %n{nicht} und NSFW ist ein attribut von Object %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process ist ein fall von Seeing %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann die Aussage es gibt CognitiveAgentROC um Process verursacht CognitiveAgentROC %n{nicht} und suffers CognitiveAgentROC and ** CognitiveAgent hat die modale Kraft von Likely
(=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight))	Mid-level-ontology.kif 624-631	Wenn Entity ist ein fall von RadiatingLight %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und Process ist ein fall von Seeing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann ** Entity ist ein fall von RadiatingVisibleLight %n{nicht}
(=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human) (subclass ?SEE Seeing) (forall (?INST) (=> (instance ?INST ?SEE) (patient ?INST ?STAGE)))) (capability ?SEE agent ?PERSON))	Mid-level-ontology.kif 7350-7364	Wenn Object ist ein fall von AuditoriumSeat %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Auditorium %n{nicht} und Object ist ein fall von PerformanceStage %n{nicht} und Object befindet sich an %n{nicht} und Object ist ein fall von Human %n{nicht} und Process ist eine teilkategorie von Seeing und fuer alle Process wenn Process ist ein fall von Process %n{nicht}, dann Object ist ein patient von Process %n{nicht} , dann Object ist faehig %n{nicht}, in der Rolle agent ** Process zu tun
(=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP)))))	Merge.kif 13547-13555	Wenn Process ist ein fall von Seeing %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Entity um Entity ist ein fall von ColorAttribute %n{nicht} und CognitiveAgent kennt Entity ist ein attribut von ** Entity %n{nicht} %n{nicht}
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR)))))	Merge.kif 13564-13572	Wenn Process ist ein fall von Seeing %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Entity um Entity ist ein fall von ColorAttribute %n{nicht} und Entity ist ein attribut von Entity %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated)))	Merge.kif 13557-13562	Wenn Process ist ein fall von Seeing %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Illuminated ist ein attribut von Entity %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?SEEING Seeing) (patient ?SEEING ?OBJ) (agent ?SEEING ?AGENT) (instance ?OBJ Object) (time ?SEEING ?TIME) (holdsDuring ?TIME (located ?OBJ ?PLACE))) (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE))	Justice.kif 61-69	Wenn Process ist ein fall von Seeing %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein fall von Object %n{nicht} und Process besteht waehrend TimePosition %n{nicht} und Object befindet sich an %n{nicht} haelt waehrend TimePosition %n{nicht}, dann observedAtTimeInPlace Object, AutonomousAgent, TimePosition and Object

consequent

(=> (and (attribute ?ACTOR VoiceActor) (instance ?DRAMA DramaticActing) (agent ?DRAMA ?ACTOR) (instance ?SPEAK LinguisticCommunication) (agent ?SPEAK ?ACTOR) (subProcess ?SPEAK ?DRAMA)) (and (not (exists (?S ?VIEWER) (and (instance ?S Seeing) (patient ?S ?ACTOR) (agent ?S ?VIEWER)))) (exists (?H ?VIEWER) (and (instance ?H Hearing) (patient ?H ?ACTOR) (agent ?H ?VIEWER)))))	Biography.kif 757-776	Wenn VoiceActor ist ein attribut von AutonomousAgent %n{nicht} und Process ist ein fall von DramaticActing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von LinguisticCommunication %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein subProzess von Process, dann es gibt nicht Process und AutonomousAgent um Process ist ein fall von Seeing %n{nicht} und AutonomousAgent ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Process und AutonomousAgent um Process ist ein fall von Hearing %n{nicht} und AutonomousAgent ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}
(=> (and (instance ?C Concealing) (patient ?C ?OBJ)) (hasPurpose ?C (not (exists (?S) (and (instance ?S Seeing) (patient ?S ?OBJ))))))	Mid-level-ontology.kif 5488-5497	Wenn Process ist ein fall von Concealing %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Process hat Zweck von es gibt nicht entity um entity ist ein fall von Seeing %n{nicht} und Entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (and (viewType ?ROOM ?OBJ) (instance ?ROOM Room) (instance ?INST ?OBJ) (orientation ?INST ?ROOM Outside)) (modalAttribute (exists (?HUMAN ?SEE) (and (instance ?HUMAN Human) (located ?HUMAN ?ROOM) (instance ?SEE Seeing) (patient ?SEE ?INST) (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 954-967	Wenn viewType Object and Physical und Object ist ein fall von Room %n{nicht} und Object ist ein fall von Physical %n{nicht} und Object ist Outside hinsichlich Object %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von Human %n{nicht} und entity befindet sich an %n{nicht} und entity ist ein fall von Seeing %n{nicht} und Object ist ein patient von entity %n{nicht} und entity ist der agent von ** entity %n{nicht} hat die modale Kraft von Possibility
(=> (attribute ?AGENT Blind) (not (capability Seeing agent ?AGENT)))	Mid-level-ontology.kif 19773-19775	Wenn Blind ist ein attribut von Object %n{nicht}, dann ** Object ist faehig nicht, in der Rolle agent Seeing zu tun
(=> (attribute ?O Translucent) (modalAttribute (not (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D)))) Likely))	Mid-level-ontology.kif 15139-15149	Wenn Translucent ist ein attribut von Object %n{nicht}, dann die Aussage es gibt nicht entity, entity, and und entity um entity ist ein fall von Seeing %n{nicht} und entity ist der agent von entity %n{nicht} und entity endet an entity %n{nicht} und entity ist zwischen Object und entity %n{nicht} hat die modale Kraft von Likely
(=> (attribute ?O Transparent) (modalAttribute (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D))) Possibility))	Mid-level-ontology.kif 15123-15132	Wenn Transparent ist ein attribut von Object %n{nicht}, dann die Aussage es gibt entity, entity, and und entity um entity ist ein fall von Seeing %n{nicht} und entity ist der agent von entity %n{nicht} und entity endet an entity %n{nicht} und entity ist zwischen Object und entity %n{nicht} hat die modale Kraft von Possibility
(=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2 ?H) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H AutonomousAgent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1)))))))	Dining.kif 956-980	Wenn OpenLayout ist ein attribut von Object %n{nicht}, dann Object ist ein fall von Room %n{nicht} und es gibt Object, Object, and und Object um Object ist ein fall von Region %n{nicht} und Object ist ein fall von Region %n{nicht} und Object befindet sich an %n{nicht} und Object befindet sich an %n{nicht} und Object ist gleich Object nicht und Object ist Adjacent hinsichlich Object %n{nicht} und es gibt Formula und Formula um Formula ist ein fall von Process %n{nicht} und Formula ist ein fall von Process %n{nicht} und Object hat Zweck von Formula %n{nicht} und Object hat Zweck von Formula %n{nicht} und wenn Object ist ein fall von AutonomousAgent %n{nicht} und Object befindet sich an %n{nicht}, dann Object ist faehig %n{nicht}, in der Rolle agent Seeing zu tun und ** Object ist faehig %n{nicht}, in der Rolle patient Seeing zu tun
(=> (attribute ?X ArtsAndRecreationTicketingServices) (hasPurpose ?X (exists (?SELL ?TICKET ?CUST) (and (instance ?SELL Selling) (patient ?SELL ?TICKET) (agent ?SELL ?X) (instance ?TICKET Ticket) (destination ?SELL ?CUST) (hasPurpose ?TICKET (confersRight (exists (?WATCH ?PERF) (and (instance ?WATCH Seeing) (agent ?WATCH ?CUST) (patient ?WATCH ?PERF) (or (instance ?PERF Performance) (instance ?PERF Sport)))) ?X ?CUST))))))	Hotel.kif 2353-2372	Wenn ArtsAndRecreationTicketingServices ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Selling %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist der agent von Object %n{nicht} und entity ist ein fall von Ticket %n{nicht} und entity endet an entity %n{nicht} und entity hat Zweck von Object erlaubt entity, die Aufgabe der Art von es gibt entity und entity um entity ist ein fall von Seeing %n{nicht} und entity ist der agent von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Performance %n{nicht} oder ** entity ist ein fall von Sport %n{nicht} durchzuf�hren %n{nicht} %n{nicht} %n{nicht}
(=> (instance ?CLOUD Cloud) (capability Seeing patient ?CLOUD))	Merge.kif 14776-14778	Wenn Object ist ein fall von Cloud %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Seeing zu tun
(=> (instance ?D OpticalDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Seeing) (instrument ?S ?D)))))	Mid-level-ontology.kif 2497-2503	Wenn Physical ist ein fall von OpticalDevice %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Seeing %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?E Exhaust) (modalAttribute (capability Seeing patient ?E) Possibility))	Cars.kif 1161-1165	Wenn Entity ist ein fall von Exhaust %n{nicht}, dann die Aussage ** Entity ist faehig %n{nicht}, in der Rolle patient Seeing zu tun hat die modale Kraft von Possibility
(=> (instance ?E Exhaust) (modalAttribute (not (capability Seeing patient ?E)) Possibility))	Cars.kif 1167-1172	Wenn Entity ist ein fall von Exhaust %n{nicht}, dann die Aussage ** Entity ist faehig nicht, in der Rolle patient Seeing zu tun hat die modale Kraft von Possibility
(=> (instance ?EYE Eye) (capability Seeing instrument ?EYE))	Mid-level-ontology.kif 12109-12111	Wenn Object ist ein fall von Eye %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument Seeing zu tun
(=> (instance ?SV SafetyVest) (hasPurpose ?SV (exists (?PERSON ?SPECTATOR) (and (instance ?PERSON Animal) (instance ?SPECTATOR Human) (increasesLikelihood (wears ?PERSON ?SV) (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR)))) (decreasesLikelihood (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR))) (exists (?INJ) (and (instance ?INJ Injuring) (agent ?INJ ?SPECTATOR) (patient ?INJ ?PERSON))))))))	Cars.kif 3566-3590	Wenn Physical ist ein fall von SafetyVest %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Animal %n{nicht} und entity ist ein fall von Human %n{nicht} und wears entity and Physical vergroessert die Wahrscheinlichkeit von es gibt entity um entity ist ein fall von Seeing %n{nicht} und entity ist ein patient von entity %n{nicht} und entity erfaehrt entity %n{nicht} %n{nicht} und es gibt entity um entity ist ein fall von Seeing %n{nicht} und entity ist ein patient von entity %n{nicht} und entity erfaehrt entity %n{nicht} verringert die Wahrscheinlichkeit von es gibt entity um entity ist ein fall von Injuring %n{nicht} und entity ist der agent von entity %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht} %n{nicht}
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (exists (?SEEING) (and (instance ?SEEING Seeing) (agent ?SEEING ?AGENT) (during (WhenFn ?SEEING) ?TIME) (located ?SEEING ?PLACE) (patient ?SEEING ?OBJ))))	Justice.kif 51-59	Wenn observedAtTimeInPlace Object, AutonomousAgent, TimeInterval and Object, dann es gibt Process um Process ist ein fall von Seeing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und Process befindet sich an %n{nicht} und Object ist ein patient von ** Process %n{nicht}
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))	Justice.kif 75-77	Wenn observedAtTimeInPlace Object, AutonomousAgent, TimePosition and Object, dann playsRoleInEventOfType AutonomousAgent, agent, Seeing, TimePosition and ** Object
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))	Justice.kif 71-73	Wenn observedAtTimeInPlace Object, AutonomousAgent, TimePosition and Object, dann playsRoleInEventOfType Object, patient, Seeing, TimePosition and ** Object

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