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...

VerbNet: sight-30.2|watch, sight-30.2|regard, sight-30.2|examine, sight-30.2|eye, sight-30.2|eye, sight-30.2|watch, peer-30.3|stare, peer-30.3|peek, peer-30.3|peek, sight-30.2|inspect, sight-30.2|watch, peer-30.3|leer, peer-30.3|look, sight-30.2|watch, sight-30.2|watch, sight-30.2|observe, sight-30.2|watch, peer-30.3|peek, peer-30.3|peep, peer-30.3|peer, sight-30.2|regard, sight-30.2|scrutinize, sight-30.2|scrutinize, sight-30.2|watch, sight-30.2|scrutinize, peer-30.3|stare, investigate-35.4|monitor, sight-30.2|watch, sight-30.2|observe, sight-30.2|scrutinize, sight-30.2|watch, sight-30.2|watch, sight-30.2|watch, sight-30.2|watch,


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

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


(termFormat ChineseLanguage Looking "看着") domainEnglishFormat.kif 34915-34915
(termFormat ChineseTraditionalLanguage Looking "看著") domainEnglishFormat.kif 34914-34914
(termFormat EnglishLanguage Looking "looking") domainEnglishFormat.kif 34913-34913

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 1234-1250
(=>
    (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 1252-1269

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 13543-13556
(=>
    (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 1219-1232


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners