Locating - Sigma Knowledge base Browser

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 34905-34905	Terminal guidance is a subclass of locating
(termFormat ChineseTraditionalLanguage Locating "定位")	domainEnglishFormat.kif 34904-34904	Terminal guidance is a subclass of locating
(termFormat EnglishLanguage Locating "locating")	domainEnglishFormat.kif 34903-34903	Terminal guidance is a subclass of locating

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

If a process is an instance of locating and an entity is a patient of the process and an agent is an agent of the process,
then the process has the purpose there exists another entity such that the other entity is an instance of region and the agent knows the entity is located at the other entity

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

If a process is an instance of recovery operation and an entity is a patient of the process,
then the process has the purpose there exists another entity such that the entity is a patient of the other entity and the other entity is an instance of the union of classifying and the union of pursuing and the union of discovering and the union of locating and returning

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: