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

(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 13582-13583
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg")	pictureList.kif 11810-11810
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg")	pictureList.kif 10247-10247
(subclass Seeing Perception)	Merge.kif 13581-13581	見ることは知覚の subclass では %n

appearance as argument number 2

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

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	AutonomousAgent は認識エージェントを employs %n{ない} 工程は DoNetworkMessaging の instance では %n オブジェクトは工程の result では %n NSFW はオブジェクトの attribute では %n 工程は見ることの instance では %n オブジェクトは工程の patient では %n 認識エージェントは工程の agent では %n ステートメントエンティティー工程はエンティティーを causes %n{ない} suffers エンティティー and 認識エージェントには Possibility の modal force がある
(=> (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	AutonomousAgent は認識エージェントを employs %n{ない} AutonomousAgent は認識エージェントを employs %n{ない} 工程は DoNetworkMessaging の instance では %n オブジェクトは工程の result では %n NSFW はオブジェクトの attribute では %n 認識エージェントは工程の agent では %n 工程は見ることの instance では %n オブジェクトは工程の patient では %n 認識エージェントは工程の agent では %n ステートメント認識エージェントROC 工程は認識エージェントROC を causes %n{ない} suffers 認識エージェントROC and 認識エージェントには Likely の modal force がある
(=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight))	Mid-level-ontology.kif 617-624	エンティティーは放射光の instance では %n AutonomousAgent は人［人間］の instance では %n 工程は見ることの instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の patient では %n エンティティーは RadiatingVisibleLight の instance では %n
(=> (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 7569-7583	オブジェクトは AuditoriumSeat の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトは Auditorium の instance では %n オブジェクトは PerformanceStage の instance では %n オブジェクトはオブジェクトに located して %n オブジェクトは人［人間］の instance では %n 工程は見ることの subclass では %n 工程工程は工程の instance では %n オブジェクトは工程の patient では %n オブジェクトは工程を agent として行う capable では %n
(=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP)))))	Merge.kif 13585-13593	工程は見ることの instance では %n 認識エージェントは工程の agent では %n エンティティーは工程の patient では %n エンティティーエンティティーはカラー属性の instance では %n 認識エージェントはエンティティーはエンティティーの attribute では %n を knows %n{ない}
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR)))))	Merge.kif 13602-13610	工程は見ることの instance では %n エンティティーは工程の patient では %n エンティティーエンティティーはカラー属性の instance では %n エンティティーはエンティティーの attribute では %n は工程の time の existence の during holds %n{ない}
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated)))	Merge.kif 13595-13600	工程は見ることの instance では %n エンティティーは工程の patient では %n Illuminated はエンティティーの attribute では %n は工程の time の existence の during holds %n{ない}
(=> (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	工程は見ることの instance では %n オブジェクトは工程の patient では %n AutonomousAgent は工程の agent では %n オブジェクトはオブジェクトの instance では %n 工程は時間位置の during exists %n{ない} オブジェクトはオブジェクトに located して %n は時間位置の during holds %n{ない} observedAtTimeInPlace オブジェクト, AutonomousAgent, 時間位置 and オブジェクト

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	VoiceActor は AutonomousAgent の attribute では %n 工程は DramaticActing の instance では %n AutonomousAgent は工程の agent では %n 工程は LinguisticCommunication の instance では %n AutonomousAgent は工程の agent では %n 工程は工程% の subprocess では %n 工程 AutonomousAgent 工程は見ることの instance では %n AutonomousAgent は工程の patient では %n AutonomousAgent は工程の agent では %n 工程 AutonomousAgent 工程は聴覚の instance では %n AutonomousAgent は工程の patient では %n AutonomousAgent は工程の agent では %n
(=> (and (instance ?C Concealing) (patient ?C ?OBJ)) (hasPurpose ?C (not (exists (?S) (and (instance ?S Seeing) (patient ?S ?OBJ))))))	Mid-level-ontology.kif 5483-5492	工程は Concealing の instance では %n エンティティーは工程の patient では %n 工程はエンティティーエンティティーは見ることの instance では %n エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (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	viewType オブジェクト and 物理オブジェクトは部屋の instance では %n オブジェクトは物理の instance では %n オブジェクトは Outside 対オブジェクトでは %n ステートメントエンティティーエンティティーエンティティーは人［人間］の instance では %n エンティティーはオブジェクトに located して %n エンティティーは見ることの instance では %n オブジェクトはエンティティーの patient では %n エンティティーはエンティティーの agent では %n には Possibility の modal force がある
(=> (attribute ?AGENT Blind) (not (capability Seeing agent ?AGENT)))	Mid-level-ontology.kif 20064-20066	Blind はオブジェクトの attribute では %n オブジェクトは見ることを agent として行う capable では
(=> (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 15390-15400	Translucent はオブジェクトの attribute では %n ステートメントエンティティーエンティティー and エンティティーエンティティーは見ることの instance では %n エンティティーはエンティティーの agent では %n エンティティーはエンティティーに ends %n{ない} エンティティーはオブジェクトとエンティティーの between では %n には Likely の modal force がある
(=> (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 15374-15383	Transparent はオブジェクトの attribute では %n ステートメントエンティティーエンティティー and エンティティーエンティティーは見ることの instance では %n エンティティーはエンティティーの agent では %n エンティティーはエンティティーに ends %n{ない} エンティティーはオブジェクトとエンティティーの between では %n には Possibility の modal force がある
(=> (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	OpenLayout はオブジェクトの attribute では %n オブジェクトは部屋の instance では %n オブジェクトオブジェクト and オブジェクトオブジェクトは地域の instance では %n オブジェクトは地域の instance では %n オブジェクトはオブジェクトに located して %n オブジェクトはオブジェクトに located して %n オブジェクトはオブジェクトと equal ではオブジェクトは Adjacent 対オブジェクトでは %n 公式公式公式は工程の instance では %n 公式は工程の instance では %n オブジェクトは公式の目的 %n{ない} オブジェクトは公式の目的 %n{ない} オブジェクトは AutonomousAgent の instance では %n オブジェクトはオブジェクトに located して %n オブジェクトは見ることを agent として行う capable では %n オブジェクトは見ることを patient として行う capable では %n
(=> (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	ArtsAndRecreationTicketingServices はオブジェクトの attribute では %n オブジェクトはエンティティーエンティティー and エンティティーエンティティーは販売の instance では %n エンティティーはエンティティーの patient では %n オブジェクトはエンティティーの agent では %n エンティティーは Ticket の instance では %n エンティティーはエンティティーに ends %n{ない} エンティティーはオブジェクトはエンティティーがエンティティーエンティティーエンティティーは見ることの instance では %n エンティティーはエンティティーの agent では %n エンティティーはエンティティーの patient では %n エンティティーは Performance の instance では %n エンティティーはスポーツの instance では %n のタスクを実行することはを allows %n{ない} の目的 %n{ない} の目的 %n{ない}
(=> (instance ?CLOUD Cloud) (capability Seeing patient ?CLOUD))	Merge.kif 14813-14815	オブジェクトは Cloud の instance では %n オブジェクトは見ることを patient として行う capable では %n
(=> (instance ?D OpticalDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Seeing) (instrument ?S ?D)))))	Mid-level-ontology.kif 2490-2496	物理は OpticalDevice の instance では %n 物理はエンティティーエンティティーは見ることの instance では %n 物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (instance ?E Exhaust) (modalAttribute (capability Seeing patient ?E) Possibility))	Cars.kif 1161-1165	エンティティーは Exhaust の instance では %n ステートメントエンティティーは見ることを patient として行う capable では %n には Possibility の modal force がある
(=> (instance ?E Exhaust) (modalAttribute (not (capability Seeing patient ?E)) Possibility))	Cars.kif 1167-1172	エンティティーは Exhaust の instance では %n ステートメントエンティティーは見ることを patient として行う capable ではには Possibility の modal force がある
(=> (instance ?EYE Eye) (capability Seeing instrument ?EYE))	Mid-level-ontology.kif 12328-12330	オブジェクトは Eye の instance では %n オブジェクトは見ることを instrument として行う capable では %n
(=> (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 3618-3642	物理は SafetyVest の instance では %n 物理はエンティティーエンティティーエンティティーは動物の instance では %n エンティティーは人［人間］の instance では %n エンティティーは % を wears %n{ない} はエンティティーエンティティーは見ることの instance では %n エンティティーはエンティティーの patient では %n エンティティーがエンティティーを experiences %n{ない} の可能性を increases %n{ない} エンティティーエンティティーは見ることの instance では %n エンティティーはエンティティーの patient では %n エンティティーがエンティティーを experiences %n{ない} はエンティティーエンティティーはけがの instance では %n エンティティーはエンティティーの agent では %n エンティティーはエンティティーの patient では %n を decreases 可能性があるの目的 %n{ない}
(=> (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	observedAtTimeInPlace オブジェクト, AutonomousAgent, 時間間隔 and オブジェクト工程工程は見ることの instance では %n AutonomousAgent は工程の agent では %n 工程の time の existence は時間間隔の during に takes %n{ない} 工程はオブジェクトに located して %n オブジェクトは工程の patient では %n
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))	Justice.kif 75-77	observedAtTimeInPlace オブジェクト, AutonomousAgent, 時間位置 and オブジェクト playsRoleInEventOfType AutonomousAgent, agent, 見ること, 時間位置 and オブジェクト
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))	Justice.kif 71-73	observedAtTimeInPlace オブジェクト, AutonomousAgent, 時間位置 and オブジェクト playsRoleInEventOfType オブジェクト, patient, 見ること, 時間位置 and オブジェクト

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