![]() |
![]() ![]() ![]()
|
![]() |
|
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 12580-12580 | |
(externalImage Looking "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg") | pictureList.kif 6678-6678 | |
(subclass Looking IntentionalProcess) | Merge.kif 12579-12579 | |
(subclass Looking Seeing) | Merge.kif 12578-12578 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Looking "看着") | domainEnglishFormat.kif 35011-35011 | |
(termFormat ChineseTraditionalLanguage Looking "看著") | domainEnglishFormat.kif 35010-35010 | |
(termFormat EnglishLanguage Looking "looking") | domainEnglishFormat.kif 35009-35009 |
antecedent |
![]() |
(=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time DayTime) (instance ?Observe Looking) (instance ?B Object) (color ?B Black) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2))) |
Weather.kif 2309-2325 | |
(=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2))) |
Weather.kif 2327-2344 |
consequent |
![]() |
(=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT Agent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 13570-13583 | |
(=> (visibilityInMeteorology ?Area ?Time ?Distance) (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 ?D2) (greaterThan ?D2 ?Distance))))) |
Weather.kif 2294-2307 |
![]() |
![]() |