Searching - Sigma Knowledge base Browser

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 13012-13013
(subclass Searching Investigating)	Merge.kif 13011-13011	Searching is a subclass of investigating

appearance as argument number 2

(termFormat EnglishLanguage Searching "searching")	domainEnglishFormat.kif 65514-65514
(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 13030-13043	If a process is an instance of searching and a physical is a patient of the process and the physical is an instance of physical, then there exist an object and an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
(=> (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 13016-13028	If a process is an instance of searching, then there exist an agent, a physical and an object such that the agent is an instance of cognitive agent and the agent is an agent of the process and the physical is an instance of physical and the physical is a patient of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent

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 17581-17603

If a process is an instance of disappearing,
then there exist an entity, an agent,, , another process and a time position such that the other process is an instance of searching and the time of existence of the process happens earlier than the time of existence of the other process and the agent is an agent of the other process and the entity is an instance of object and the entity is a patient of the process and the entity is a patient of the other process and the time position is an instance of time interval and the time position is a part of the time of existence of the other process and the statement there exists the processISC such that the processISC is an instance of discovering and the agent is an agent of the processISC and the entity is a patient of the processISC doesn't have the modal force of possibility holds during the time position

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

KB Term:			Term intersection

English Word: