TreeView 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 は捜査の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage Searching "searching")	domainEnglishFormat.kif 65468-65468
(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	工程は Searching の instance では %n 物理は工程の patient では %n 物理は物理の instance では %n オブジェクト AutonomousAgent AutonomousAgent は認識エージェントの instance では %n AutonomousAgent は工程の agent では %n オブジェクトはオブジェクトの instance では %n 物理はオブジェクトに located して %n 工程は AutonomousAgent の目的 AutonomousAgent は物理はオブジェクトに located して %n を knows %n{ない} %n{ない}
(=> (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	工程は Searching の instance では %n AutonomousAgent 物理 and オブジェクト AutonomousAgent は認識エージェントの instance では %n AutonomousAgent は工程の agent では %n 物理は物理の instance では %n 物理は工程の patient では %n オブジェクトはオブジェクトの instance では %n 物理はオブジェクトに located して %n 工程は AutonomousAgent の目的 AutonomousAgent は物理はオブジェクトに located して %n を knows %n{ない} %n{ない}

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 17350-17372

工程は Disappearing の instance では %n
エンティティー AutonomousAgent, 工程 and 時間位置工程は Searching の instance では %n 工程の time の existence は工程の time の existence より earlier happens %n{ない} AutonomousAgent は工程の agent では %n エンティティーはオブジェクトの instance では %n エンティティーは工程の patient では %n エンティティーは工程の patient では %n 時間位置は時間間隔の instance では %n 時間位置は工程の time の existence の part では %n ステートメント工程ISC 工程ISC は Discovering の instance では %n AutonomousAgent は工程ISC の agent では %n エンティティーは工程ISC の patient では %n には Possibility の modal force がない %p{ある} は時間位置の during holds %n{ない}

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

KB Term:			Term intersection

English Word: