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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Discovering
Discovering

VerbNet: sight-30.2|observe, sight-30.2|observe, sight-30.2|observe, sight-30.2|observe, sight-30.2|observe, see-30.1|see,


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


(documentation Discovering ChineseLanguage "这是寻找想要谋取的东西。注：这个类别限用于发现一些 Physical 东西的个案；如果是涉及获取信息的情况，应该使用 Learning 这个类别。") chinese_format.kif 3112-3113
(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 11133-11136
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11132-11132 subclass Discovering and IntentionalPsychologicalProcess

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


(subclass Locating Discovering) MilitaryProcesses.kif 572-572 subclass Locating and Discovering
(termFormat ChineseLanguage Discovering "发现") domainEnglishFormat.kif 19711-19711
(termFormat ChineseTraditionalLanguage Discovering "發現") domainEnglishFormat.kif 19710-19710
(termFormat EnglishLanguage Discovering "discovering") domainEnglishFormat.kif 19709-19709

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 11147-11156
(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ))
    (exists (?PURSUE)
        (and
            (instance ?PURSUE Pursuing)
            (meetsTemporally
                (WhenFn ?PURSUE)
                (WhenFn ?DISCOVER)))))		 Merge.kif 11138-11145

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 558-570
(=>
    (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 18891-18920
(=>
    (discovers ?AGENT ?OBJECT)
    (exists (?DISCOVERING)
        (and
            (instance ?DISCOVERING Discovering)
            (agent ?DISCOVERING ?AGENT)
            (patient ?DISCOVERING ?OBJECT))))		 Mid-level-ontology.kif 3069-3075
(=>
    (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 14936-14958
(=>
    (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 23401-23409
(=>
    (instance ?RADAR Radar)
    (hasPurpose ?RADAR
        (exists (?DISCOVER)
            (and
                (instance ?DISCOVER Discovering)
                (instrument ?DISCOVER ?RADAR)))))		 Mid-level-ontology.kif 3051-3057
(=>
    (instance ?SONAR Sonar)
    (hasPurpose ?SONAR
        (exists (?DISCOVER)
            (and
                (instance ?DISCOVER Discovering)
                (instrument ?DISCOVER ?SONAR)))))		 Mid-level-ontology.kif 3083-3089
(=>
    (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 23443-23453


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