Looking
|
|
appearance as argument number 1 |
(documentation Looking ChineseLanguage "这是任何有目的 Seeing 的实例。") | chinese_format.kif 3312-3312 | |
(documentation Looking EnglishLanguage "Any instance of Seeing which is intentional.") | Merge.kif 13576-13576 | |
(externalImage Looking "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg") | pictureList.kif 6677-6677 | |
(subclass Looking IntentionalProcess) | Merge.kif 13575-13575 | Looking は 意図的なプロセス の subclass では %n |
(subclass Looking Seeing) | Merge.kif 13574-13574 | Looking は 見ること の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage Looking "看着") | domainEnglishFormat.kif 35021-35021 | |
(termFormat ChineseTraditionalLanguage Looking "看著") | domainEnglishFormat.kif 35020-35020 | |
(termFormat EnglishLanguage Looking "looking") | domainEnglishFormat.kif 35019-35019 |
antecedent |
consequent |
(=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT AutonomousAgent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 15886-15899 |
|
(=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure)) (not (exists (?Observe ?A ?B ?D2) (and (instance ?Observe Looking) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (during (WhenFn ?Observe) ?Time) (eventLocated ?Observe ?Area) (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?D2 ?Distance))))) |
Weather.kif 2705-2722 |
|
(=> (visualAcuity ?H1 ?I1 ?I2) (exists (?S ?L) (and (instance ?S SnellenChart) (instance ?L Looking) (destination ?L ?S) (agent ?L ?H1)))) |
Medicine.kif 1726-1733 |