Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Looking
Looking(looking)
admire, catch, catch_a_glimpse, catch_sight, consider, contemplate, contemplation, coup_d'oeil, examine, eye, eyeball, follow, gaze, get_a_load, get_a_look, glance, glimpse, glint, have_a_look, inspect, keep_an_eye_on, keep_tabs_on, leer, look, look_after, look_around, look_back, look_backward, look_on, look_out, looking, looking_at, monitor, monitoring, note, observance, observation, observe, peek, peep, peer, reexamine, regard, review, scrutinise, scrutinize, see, sight, size_up, stare...

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 13730-13730
(externalImage Looking "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg") pictureList.kif 6676-6676
(subclass Looking IntentionalProcess) Merge.kif 13729-13729 Looking is a subclass of intentional process
(subclass Looking Seeing) Merge.kif 13728-13728 Looking is a subclass of seeing

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Looking "看着") domainEnglishFormat.kif 35031-35031
(termFormat ChineseTraditionalLanguage Looking "看著") domainEnglishFormat.kif 35030-35030
(termFormat EnglishLanguage Looking "looking") domainEnglishFormat.kif 35029-35029

antecedent
-------------------------


(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (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))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 4052-4072
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000.0 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 4074-4095

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 17263-17276
(=>
    (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 4033-4050
(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?S ?L)
        (and
            (instance ?S SnellenChart)
            (instance ?L Looking)
            (destination ?L ?S)
            (agent ?L ?H1))))
Medicine.kif 1719-1726


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