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 这个类别。") 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 11805-11808
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11804-11804 发现有意图的心理过程subclass

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


(subclass Locating Discovering) MilitaryProcesses.kif 572-572 定位发现subclass
(termFormat ChineseLanguage Discovering "发现") domainEnglishFormat.kif 19779-19779
(termFormat ChineseTraditionalLanguage Discovering "發現") domainEnglishFormat.kif 19778-19778
(termFormat EnglishLanguage Discovering "discovering") domainEnglishFormat.kif 19777-19777

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 11819-11828
(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ))
    (exists (?PURSUE)
        (and
            (instance ?PURSUE Pursuing)
            (meetsTemporally
                (WhenFn ?PURSUE)
                (WhenFn ?DISCOVER)))))
Merge.kif 11810-11817

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 ?W)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O
                (MeasureFn ?T YearDuration))
            (greaterThan ?T 50)
            (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 20551-20580
(=>
    (discovers ?AGENT ?OBJECT)
    (exists (?DISCOVERING)
        (and
            (instance ?DISCOVERING Discovering)
            (agent ?DISCOVERING ?AGENT)
            (patient ?DISCOVERING ?OBJECT))))
Mid-level-ontology.kif 2567-2573
(=>
    (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 16817-16839
(=>
    (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 24895-24903
(=>
    (instance ?RADAR Radar)
    (hasPurpose ?RADAR
        (exists (?DISCOVER)
            (and
                (instance ?DISCOVER Discovering)
                (instrument ?DISCOVER ?RADAR)))))
Mid-level-ontology.kif 2549-2555
(=>
    (instance ?SONAR Sonar)
    (hasPurpose ?SONAR
        (exists (?DISCOVER)
            (and
                (instance ?DISCOVER Discovering)
                (instrument ?DISCOVER ?SONAR)))))
Mid-level-ontology.kif 2581-2587
(=>
    (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 24937-24947


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 3.0 is open source software produced by Articulate Software and its partners