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


KB Term:  Term intersection
English Word: 

  Locating

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