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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Discovering

Sigma KEE - Discovering
Discoveringdetect, discover, discovering, exploration, find, follow, geographic_expedition, instantiate, notice, observe, see, sense, trace

appearance as argument number 1
-------------------------


(documentation Discovering ChineseLanguage "这是寻找想要谋取的东西。注:这个类别限用于发现一些 Physical 东西的个案;如果是涉及获取信息的情况,应该使用 Learning 这个类别。") Merge.kif 11859-11860
(documentation Discovering EnglishLanguage "Finding something that was sought. Note that this class is restricted to cases of discovering something Physical. For cases involving the acquisition of knowledge, the class Learning should be used.") Merge.kif 11855-11858
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11854-11854

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


(subclass Locating Discovering) MilitaryProcesses.kif 561-561
(termFormat EnglishLanguage Discovering "discovering") domainEnglishFormat.kif 3719-3719

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


(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ)
        (holdsDuring
            (WhenFn ?DISCOVER)
            (located ?OBJ ?PLACE)))
    (exists (?LEARN)
        (and
            (instance ?LEARN Learning)
            (subProcess ?LEARN ?DISCOVER)
            (patient ?LEARN
                (located ?OBJ ?PLACE)))))
Merge.kif 11871-11880
(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ))
    (exists (?PURSUE)
        (and
            (instance ?PURSUE Pursuing)
            (meetsTemporally
                (WhenFn ?PURSUE)
                (WhenFn ?DISCOVER)))))
Merge.kif 11862-11869

consequent
-------------------------


(=>
    (and
        (instance ?RO RecoveryOperation)
        (patient ?RO ?TARGET))
    (hasPurpose ?RO
        (exists (?PROCESS)
            (and
                (patient ?PROCESS ?TARGET)
                (instance ?PROCESS
                    (UnionFn Classifying
                        (UnionFn Pursuing
                            (UnionFn Discovering
                                (UnionFn Locating Returning)))))))))
MilitaryProcesses.kif 547-559
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O ?T)
            (greaterThan ?T
                (MeasureFn 50 YearDuration))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (or
                    (and
                        (surface ?S ?W)
                        (instance ?W BodyOfWater)
                        (orientation ?O ?S Below))
                    (and
                        (surface ?S ?L)
                        (instance ?L LandArea)
                        (orientation ?O ?S Below)))))))
Mid-level-ontology.kif 18779-18808
(=>
    (discovers ?AGENT ?OBJECT)
    (exists (?DISCOVERING)
        (and
            (instance ?DISCOVERING Discovering)
            (agent ?DISCOVERING ?AGENT)
            (patient ?DISCOVERING ?OBJECT))))
Mid-level-ontology.kif 3068-3074
(=>
    (instance ?D Disappearing)
    (exists (?OBJ ?AGENT ?SEARCH ?TIME)
        (and
            (instance ?SEARCH Searching)
            (earlier
                (WhenFn ?D)
                (WhenFn ?SEARCH))
            (agent ?SEARCH ?AGENT)
            (instance ?OBJ Object)
            (patient ?D ?OBJ)
            (patient ?SEARCH ?OBJ)
            (instance ?TIME TimeInterval)
            (temporalPart ?TIME
                (WhenFn ?SEARCH))
            (holdsDuring ?TIME
                (not
                    (modalAttribute
                        (exists (?DISC)
                            (and
                                (instance ?DISC Discovering)
                                (agent ?DISC ?AGENT)
                                (patient ?DISC ?OBJ))) Possibility))))))
Mid-level-ontology.kif 14883-14905
(=>
    (instance ?D SmokeDetector)
    (hasPurpose ?D
        (exists (?DISCOVER ?SMOKE)
            (and
                (instance ?DISCOVER Discovering)
                (instrument ?DISCOVER ?D)
                (patient ?DISCOVER ?SMOKE)
                (instance ?SMOKE Smoke)))))
Mid-level-ontology.kif 23305-23313
(=>
    (instance ?RADAR Radar)
    (hasPurpose ?RADAR
        (exists (?DISCOVER)
            (and
                (instance ?DISCOVER Discovering)
                (instrument ?DISCOVER ?RADAR)))))
Mid-level-ontology.kif 3050-3056
(=>
    (instance ?SONAR Sonar)
    (hasPurpose ?SONAR
        (exists (?DISCOVER)
            (and
                (instance ?DISCOVER Discovering)
                (instrument ?DISCOVER ?SONAR)))))
Mid-level-ontology.kif 3082-3088
(=>
    (instance ?X FireSprinklerSystem)
    (exists (?FIRE ?DISCOVER ?WM)
        (and
            (instance ?DISCOVER Discovering)
            (instance ?FIRE Fire)
            (instrument ?DISCOVER ?X)
            (patient ?DISCOVER ?FIRE)
            (instance ?WM WaterMotion)
            (origin ?WM ?X)
            (causes ?DISCOVER ?WM))))
Mid-level-ontology.kif 23347-23357


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