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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Looking

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

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


(termFormat ChineseLanguage Looking "看着") domainEnglishFormat.kif 35004-35004
(termFormat ChineseTraditionalLanguage Looking "看著") domainEnglishFormat.kif 35003-35003
(termFormat EnglishLanguage Looking "looking") domainEnglishFormat.kif 35002-35002

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 2727-2747
(=>
    (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 2749-2770

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 15332-15345
(=>
    (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 2708-2725


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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