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


KB Term:  Term intersection
English Word: 

Sigma KEE - Guiding
Guiding(guiding)act_upon, advisory, aim, airt, angle-park, astrogate, astronavigation, beacon, becharm, blackjack, blackmail, block, block_off, bouse, bowse, break_up, bring_up, call_the_shots, call_the_tune, caller, canalise, canalize, carrot, carry_on, cart, celestial_guidance, celestial_navigation, channel, channelise, channelize, charm, chock, clog, close_off, close_up, command, command_guidance, compere, conduct, conn, constrain, consultative, consultatory, consultive, control, corner, correct, cradle, crowd, cumber...

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


(subclass Guiding IntentionalProcess) Merge.kif 11883-11883 Guiding is a subclass of intentional process
(documentation Guiding EnglishLanguage "Any IntentionalProcess where the agent tries to direct the behavior of another Object, whether an AutonomousAgent or not.") Merge.kif 11885-11886 Guiding is a subclass of intentional process

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


(subclass RegulatoryProcess Guiding) Merge.kif 11064-11064 Regulatory process is a subclass of guiding
(subclass Managing Guiding) Merge.kif 11074-11074 Managing is a subclass of guiding
(subclass Driving Guiding) Merge.kif 11888-11888 Driving is a subclass of guiding
(subclass EducationalProcess Guiding) Merge.kif 11902-11902 Educational process is a subclass of guiding
(subclass AnimalGuiding Guiding) Mid-level-ontology.kif 4952-4952 Animal guiding is a subclass of guiding
(subclass MusicalConducting Guiding) Mid-level-ontology.kif 20398-20398 Musical conducting is a subclass of guiding
(subclass DramaticDirecting Guiding) Mid-level-ontology.kif 20462-20462 Dramatic directing is a subclass of guiding
(subclass Seating Guiding) Mid-level-ontology.kif 25711-25711 Seating is a subclass of guiding
(subclass Signalling Guiding) Mid-level-ontology.kif 25724-25724 Signalling is a subclass of guiding
(subclass AchievingControl Guiding) Mid-level-ontology.kif 25735-25735 Achieving control is a subclass of guiding
(subclass GuidingMotion Guiding) ComputerInput.kif 69-69 Guiding motion is a subclass of guiding
(subclass PhysicalGuiding Guiding) ComputerInput.kif 101-101 Physical guiding is a subclass of guiding
(subclass MovingCursor Guiding) ComputerInput.kif 1741-1741 Moving cursor is a subclass of guiding
(subclass RailCarrierControl Guiding) Transportation.kif 2447-2447 Rail carrier control is a subclass of guiding
(termFormat EnglishLanguage Guiding "guiding") english_format.kif 1481-1481 Rail carrier control is a subclass of guiding

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


(=>
    (and
        (instance ?P PhasedArrayAntenna)
        (instance ?G Guiding)
        (patient ?G ?P)
        (agent ?G ?A))
    (instance ?A ITAgent))		 Transportation.kif 5402-5408 If X is an instance of phased array attenna, Y is an instance of guiding, X is a patient of Y, and Z is an agent of Y, then Z is an instance of IT agent

consequent
-------------------------


(=>
    (instance ?AC AnimalController)
    (hasPurpose ?AC
        (exists (?G ?A)
            (and
                (instance ?G Guiding)
                (instrument ?G ?AC)
                (instance ?A Animal)
                (patient ?G ?A)))))		 Mid-level-ontology.kif 3339-3347 If X is an instance of animal controller, then X has the purpose there exist Y, Z such that Y is an instance of guiding, X is an instrument for Y, Z is an instance of animal, and Z is a patient of Y
(=>
    (instance ?B Baton)
    (hasPurpose ?B
        (exists (?M ?G)
            (and
                (instance ?M MusicalPerformance)
                (instance ?G Guiding)
                (subProcess ?G ?M)
                (instrument ?G ?B)))))		 Mid-level-ontology.kif 3480-3488 If X is an instance of baton, then X has the purpose there exist Y, Z such that Y is an instance of musical performance, Z is an instance of guiding, Z is a subprocess of Y, and X is an instrument for Z
(=>
    (and
        (passenger ?PROC ?PASS)
        (instance ?V Vehicle)
        (instrument ?PROC ?V))
    (not
        (exists (?G)
            (and
                (during
                    (WhenFn ?G)
                    (WhenFn ?PROC))
                (instance ?G Guiding)
                (agent ?G ?PASS)
                (instrument ?G ?V)))))		 Mid-level-ontology.kif 33363-33374 If X is a passenger in Y, Z is an instance of vehicle, and Z is an instrument for Y, then there doesn't exist W such that the time of existence of W takes place during the time of existence of Y, W is an instance of guiding, X is an agent of W, and Z is an instrument for W
(=>
    (occupiesPosition ?PERSON Leader ?ORG)
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?ORG)
            (agent ?LEADING ?PERSON))))		 Government.kif 2271-2277 If X holds the position of leader in Y, then there exists Z such that Z is an instance of guiding, Y is a patient of Z, and X is an agent of Z
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader
            (GovernmentFn ?AREA)))
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?AREA)
            (agent ?LEADING ?PERSON))))		 Government.kif 2279-2287 If X is an instance of geopolitical area and Y holds the position of leader in the government of X, then there exists Z such that Z is an instance of guiding, X is a patient of Z, and Y is an agent of Z
(=>
    (and
        (instance ?M GuidedMissile)
        (instance ?FLYING Flying)
        (patient ?FLYING ?M))
    (exists (?GUIDING)
        (and
            (instance ?GUIDING Guiding)
            (patient ?GUIDING ?FLYING)
            (agent ?GUIDING ?M)
            (during
                (WhenFn ?GUIDING)
                (WhenFn ?FLYING)))))		 MilitaryDevices.kif 1208-1220 If X is an instance of guided missile, Y is an instance of flying, and X is a patient of Y, then there exists Z such that Z is an instance of guiding, Y is a patient of Z, X is an agent of Z, and the time of existence of Z takes place during the time of existence of Y
(=>
    (instance ?OP SpecialOperation)
    (exists (?CONDUCTING ?SPFORCE)
        (and
            (instance ?CONDUCTING Guiding)
            (patient ?CONDUCTING ?OP)
            (agent ?CONDUCTING ?SPFORCE)
            (instance ?SPFORCE SpecialOperationsForces))))		 MilitaryProcesses.kif 290-297 If X is an instance of special operation, then there exist Y, Z such that Y is an instance of guiding, X is a patient of Y, Z is an agent of Y, and Z is an instance of special operations forces
(=>
    (instance ?CA CivilAffairs)
    (hasPurpose ?CA
        (exists (?GUIDING ?OP_ACT)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP_ACT)
                (agent ?CA ?GUIDING)
                (or
                    (instance ?OP_ACT CivilMilitaryOperation)
                    (instance ?OP_ACT CivilAffairsActivity))))))		 MilitaryProcesses.kif 2373-2383 If X is an instance of civil affairs, then X has the purpose there exist Y, ?OP_ACT such that Y is an instance of guiding, ?OP_ACT is a patient of Y, Y is an agent of X, and ?OP_ACT is an instance of civil military operation or ?OP_ACT is an instance of civil affairs activity
(=>
    (instance ?CAA CivilAffairsActivity)
    (hasPurpose ?CAA
        (exists (?GUIDING ?OP)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP)
                (instance ?OP CivilMilitaryOperation)))))		 MilitaryProcesses.kif 2413-2420 If X is an instance of civil affairs activity, then X has the purpose there exist Y, Z such that Y is an instance of guiding, Z is a patient of Y, and Z is an instance of civil military operation
(=>
    (holdsDuring ?T
        (attribute ?X FlightSteward))
    (hasPurpose ?X
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P Airplane)
                    (not
                        (exists (?G)
                            (and
                                (instance ?G Guiding)
                                (agent ?G ?X)
                                (instrument ?G ?P)))))))))		 Transportation.kif 3181-3194 If flight steward is an attribute of X holds during Y, then X has the purpose there exists Z such that Z is an instance of airplane, there doesn't exist W such that W is an instance of guiding, X is an agent of W, and Z is an instrument for W holds during Y
(=>
    (instance ?R ANSPY6)
    (hasPurpose ?R
        (exists (?G ?M)
            (and
                (instance ?G Guiding)
                (patient ?G ?M)
                (instance ?M GuidedMissile)
                (instrument ?G ?R)))))		 Transportation.kif 5367-5375 If X is an instance of An/SPY-6, then X has the purpose there exist Y, Z such that Y is an instance of guiding, Z is a patient of Y, Z is an instance of guided missile, and X is an instrument for Y
(=>
    (instance ?AMR AutonomousMobileRobot)
    (hasPurpose ?AMR
        (exists (?T)
            (and
                (instance ?T Translocation)
                (agent ?T ?AMR)
                (patient ?T ?AMR)
                (instrument ?T ?AMR)
                (experiencer ?T ?AMR)
                (not
                    (exists (?G ?A)
                        (and
                            (instance ?G Guiding)
                            (patient ?G ?AMR)
                            (agent ?G ?A)
                            (or
                                (instance ?A Human)
                                (instance ?A Device)))))))))		 engineering.kif 1053-1071 If X is an instance of autonomous mobile robot, then All of the following hold: (1) X has the purpose there exists Y such that Y is an instance of translocation (2) X is an agent of Y (3) X is a patient of Y (4) X is an instrument for Y (5) X experiences Y (6) there don't exist Z (7) W such that Z is an instance of guiding (8) X is a patient of Z (9) W is an agent of Z (10) W is an instance of human or W is an instance of device


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