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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Guiding

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
-------------------------


(documentation Guiding ChineseLanguage "这是任何的 IntentionalProcess,这是当 agent 尝试 指挥 Agent 自己或另外一 个Object 的行为。") chinese_format.kif 3066-3067
(documentation Guiding EnglishLanguage "Any IntentionalProcess where the agent tries to direct the behavior of another Object, whether an Agent or not.") Merge.kif 11448-11449
(subclass Guiding IntentionalProcess) Merge.kif 11446-11446 Guiding is a subclass of intentional process

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


(subclass AchievingControl Guiding) Mid-level-ontology.kif 22864-22864 Achieving control is a subclass of guiding
(subclass AnimalGuiding Guiding) Mid-level-ontology.kif 4237-4237 AnimalGuiding is a subclass of guiding
(subclass DramaticDirecting Guiding) Mid-level-ontology.kif 17918-17918 Dramatic directing is a subclass of guiding
(subclass Driving Guiding) Merge.kif 11451-11451 Driving is a subclass of guiding
(subclass EducationalProcess Guiding) Merge.kif 11465-11465 Educational process is a subclass of guiding
(subclass GuidingMotion Guiding) ComputerInput.kif 69-69 GuidingMotion is a subclass of guiding
(subclass Managing Guiding) Merge.kif 10719-10719 Managing is a subclass of guiding
(subclass MovingCursor Guiding) ComputerInput.kif 1722-1722 MovingCursor is a subclass of guiding
(subclass MusicalConducting Guiding) Mid-level-ontology.kif 17868-17868 MusicalConducting is a subclass of guiding
(subclass PhysicalGuiding Guiding) ComputerInput.kif 101-101 PhysicalGuiding is a subclass of guiding
(subclass RailCarrierControl Guiding) Transportation.kif 2259-2259 Rail carrier control is a subclass of guiding
(subclass RegulatoryProcess Guiding) Merge.kif 10709-10709 Regulatory process is a subclass of guiding
(subclass Seating Guiding) Mid-level-ontology.kif 22840-22840 Seating is a subclass of guiding
(subclass Signalling Guiding) Mid-level-ontology.kif 22853-22853 Signalling is a subclass of guiding
(termFormat ChineseLanguage Guiding "引导") chinese_format.kif 1130-1130
(termFormat EnglishLanguage Guiding "guiding") english_format.kif 1477-1477

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader
            (GovernmentFn ?AREA)))
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?AREA)
            (agent ?LEADING ?PERSON))))
Government.kif 2306-2314
(=>
    (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 1051-1063
(=>
    (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 30174-30185
(=>
    (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)))))))))
Mid-level-ontology.kif 30147-30160
(=>
    (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 2698-2706
(=>
    (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 2808-2816
(=>
    (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 2349-2359
(=>
    (instance ?CAA CivilAffairsActivity)
    (hasPurpose ?CAA
        (exists (?GUIDING ?OP)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP)
                (instance ?OP CivilMilitaryOperation)))))
MilitaryProcesses.kif 2385-2392
(=>
    (instance ?OP SpecialOperation)
    (exists (?CONDUCTING ?SPFORCE)
        (and
            (instance ?CONDUCTING Guiding)
            (patient ?CONDUCTING ?OP)
            (agent ?CONDUCTING ?SPFORCE)
            (instance ?SPFORCE SpecialOperationsForces))))
MilitaryProcesses.kif 290-297
(=>
    (occupiesPosition ?PERSON Leader ?ORG)
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?ORG)
            (agent ?LEADING ?PERSON))))
Government.kif 2298-2304


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 is open source software produced by Articulate Software and its partners