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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Searching
Searching

VerbNet: rummage-35.5|look, search-35.2|search, rummage-35.5|look, search-35.2|search,


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


(documentation Searching EnglishLanguage "An IntentionalProcess which has the purpose for a CognitiveAgent to learn the location of a Physical.") Merge.kif 11992-11993
(documentation Searching EnglishLanguage "这是为了让 CognitiveAgent 知道一个 Physical 的 位置而采取的 IntentionalProcess。") Merge.kif 11994-11995
(subclass Searching Investigating) Merge.kif 11991-11991 subclass Searching and Investigating

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 12011-12024
(=>
    (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 11997-12009

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 14884-14906


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