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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Locating
Locating(locating)locate, locating, turn_up, 定位

VerbNet: become-109.1|turn_up, become-109.1|turn_up,


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


(documentation Locating EnglishLanguage "Discover the location of, determine the place of, find by searching or examining.") MilitaryProcesses.kif 573-574
(subclass Locating Discovering) MilitaryProcesses.kif 572-572 Locating is a subclass of discovering

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


(subclass TerminalGuidance Locating) MilitaryProcesses.kif 503-503 Terminal guidance is a subclass of locating
(termFormat ChineseLanguage Locating "定位") domainEnglishFormat.kif 34783-34783 "定位" is the printable form of locating in ChineseLanguage
(termFormat ChineseTraditionalLanguage Locating "定位") domainEnglishFormat.kif 34782-34782 "定位" is the printable form of locating in ChineseTraditionalLanguage
(termFormat EnglishLanguage Locating "locating") domainEnglishFormat.kif 34781-34781 "locating" is the printable form of locating in english language

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


(=>
    (and
        (instance ?LOCATING Locating)
        (patient ?LOCATING ?THING)
        (agent ?LOCATING ?AGENT))
    (hasPurpose ?LOCATING
        (exists (?LOCATION)
            (and
                (instance ?LOCATION Region)
                (knows ?AGENT
                    (located ?THING ?LOCATION))))))
MilitaryProcesses.kif 577-587

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


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