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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Searching

Sigma KEE - Searching
Searching(searching)look, look_for, search, seek

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


(documentation Searching ChineseLanguage "这是为了让 CognitiveAgent 知道一个 Physical 的位置而采取的 IntentionalProcess。") chinese_format.kif 4062-4062
(documentation Searching EnglishLanguage "An IntentionalProcess which has the purpose for a CognitiveAgent to learn the location of a Physical.") Merge.kif 12966-12967
(subclass Searching Investigating) Merge.kif 12965-12965 Searching is a subclass of investigating

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


(termFormat EnglishLanguage Searching "searching") domainEnglishFormat.kif 65466-65466
(termFormat Hindi Searching "khoja") terms-hindi.txt 400-400
(termFormat ItalianLanguage Searching "Ricercare") terms-it.txt 403-403
(termFormat cb Searching "pagpangita") terms-cb.txt 405-405
(termFormat cz Searching "searching") terms-cz.txt 439-439
(termFormat tg Searching "paghahanap") terms-tg.txt 404-404

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


(=>
    (and
        (instance ?S Searching)
        (patient ?S ?OBJ)
        (instance ?OBJ Physical))
    (exists (?LOC ?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?S ?AGENT)
            (instance ?LOC Object)
            (located ?OBJ ?LOC)
            (hasPurposeForAgent ?S
                (knows ?AGENT
                    (located ?OBJ ?LOC)) ?AGENT))))
Merge.kif 12984-12997
(=>
    (instance ?S Searching)
    (exists (?AGENT ?OBJ ?LOC)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?S ?AGENT)
            (instance ?OBJ Physical)
            (patient ?S ?OBJ)
            (instance ?LOC Object)
            (located ?OBJ ?LOC)
            (hasPurposeForAgent ?S
                (knows ?AGENT
                    (located ?OBJ ?LOC)) ?AGENT))))
Merge.kif 12970-12982

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


(=>
    (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 17323-17345


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