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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Discovering
Discovering

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


(documentation Discovering ChineseLanguage "这是寻找想要谋取的东西。注：这个类别限用于发现一些 Physical 东西的个案；如果是涉及获取信息的情况，应该使用 Learning 这个类别。") Merge.kif 11917-11918
(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 11913-11916
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11912-11912 subclass Discovering and 意図的な心理的プロセス

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


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

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 11929-11938
(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ))
    (exists (?PURSUE)
        (and
            (instance ?PURSUE Pursuing)
            (meetsTemporally
                (WhenFn ?PURSUE)
                (WhenFn ?DISCOVER)))))		 Merge.kif 11920-11927

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 18837-18866
(=>
    (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 23336-23344
(=>
    (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 23378-23388


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