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

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


(termFormat ChineseLanguage Looking "看着") domainEnglishFormat.kif 34933-34933 "看着" is the printable form of looking in ChineseLanguage
(termFormat ChineseTraditionalLanguage Looking "看著") domainEnglishFormat.kif 34932-34932 "看著" is the printable form of looking in ChineseTraditionalLanguage
(termFormat EnglishLanguage Looking "looking") domainEnglishFormat.kif 34931-34931 "looking" is the printable form of looking in english language

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 13542-13555
(=>
    (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