Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Locating
Locating(locating)locate, turn_up

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


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

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


(subclass TerminalGuidance Locating) MilitaryProcesses.kif 505-505 Terminal guidance is a subclass of locating
(termFormat EnglishLanguage Locating "locating") domainEnglishFormat.kif 34873-34873 Terminal guidance is a subclass of locating
(termFormat ChineseTraditionalLanguage Locating "定位") domainEnglishFormat.kif 34874-34874 Terminal guidance is a subclass of locating
(termFormat ChineseLanguage Locating "定位") domainEnglishFormat.kif 34875-34875 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 599-609 If X is an instance of locating, Y is a patient of X, and Z is an agent of X, then X has the purpose there exists W such that W is an instance of region and Z knows Y is located at W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners