Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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...

VerbNet: force-59|blackmail, force-59|blackmail, spray-9.7|jam, other_cos-45.4|dissipate, funnel-9.3|channel, funnel-9.3|channel, carry-11.4|haul, funnel-9.3|channel, spray-9.7|jam, enforce-63|control, captain-29.8|emcee, enforce-63|control, pocket-9.10|tree, spray-9.7|crowd, accompany-51.7|lead, other_cos-45.4|dissipate, other_cos-45.4|dissipate, other_cos-45.4|dissipate, pocket-9.10|dock, carry-11.4|haul, pocket-9.10|drydock, pocket-9.10|drydock, captain-29.8|emcee, funnel-9.3|funnel, accompany-51.7|steer, carry-11.4|haul, hold-15.1|wield, carry-11.4|haul, carry-11.4|heft, carry-11.4|heft, carry-11.4|heft, carry-11.4|heft, shake-22.3|herd, put_direction-9.4|hoist, spray-9.7|jam, spray-9.7|jam, accompany-51.7|lead, accompany-51.7|misdirect, put_direction-9.4|lift, carry-11.4|tug, hold-15.1|wield, force-59|manipulate, accompany-51.7|misdirect, accompany-51.7|misdirect, accompany-51.7|misdirect, nonvehicle-51.4.2|navigate, spray-9.7|jam, spray-9.7|jam, spray-9.7|jam, put-9.1|park, ...


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 10799-10800
(subclass Guiding IntentionalProcess) Merge.kif 10797-10797 Guiding is a subclass of intentional process

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


(subclass AchievingControl Guiding) Mid-level-ontology.kif 21341-21341 Achieving control is a subclass of guiding
(subclass AnimalGuiding Guiding) Mid-level-ontology.kif 4811-4811 AnimalGuiding is a subclass of guiding
(subclass DramaticDirecting Guiding) Mid-level-ontology.kif 16215-16215 Dramatic directing is a subclass of guiding
(subclass Driving Guiding) Merge.kif 10802-10802 Driving is a subclass of guiding
(subclass EducationalProcess Guiding) Merge.kif 10816-10816 Educational process is a subclass of guiding
(subclass GuidingMotion Guiding) ComputerInput.kif 91-91 GuidingMotion is a subclass of guiding
(subclass Managing Guiding) Merge.kif 10080-10080 Managing is a subclass of guiding
(subclass MovingCursor Guiding) ComputerInput.kif 1740-1740 MovingCursor is a subclass of guiding
(subclass MusicalConducting Guiding) Mid-level-ontology.kif 16153-16153 MusicalConducting is a subclass of guiding
(subclass PhysicalGuiding Guiding) ComputerInput.kif 123-123 PhysicalGuiding is a subclass of guiding
(subclass RailCarrierControl Guiding) Transportation.kif 2241-2241 Rail carrier control is a subclass of guiding
(subclass RegulatoryProcess Guiding) Merge.kif 10070-10070 Regulatory process is a subclass of guiding
(subclass Seating Guiding) Mid-level-ontology.kif 21315-21315 Seating is a subclass of guiding
(subclass Signalling Guiding) Mid-level-ontology.kif 21328-21328 Signalling is a subclass of guiding
(termFormat ChineseLanguage Guiding "引导") chinese_format.kif 1130-1130
(termFormat EnglishLanguage Guiding "guiding") english_format.kif 1482-1482

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader
            (GovernmentFn ?AREA)))
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?AREA)
            (agent ?LEADING ?PERSON))))
Government.kif 2250-2258
(=>
    (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
(=>
    (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 3198-3206
(=>
    (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 3317-3325
(=>
    (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 2330-2340
(=>
    (instance ?CAA CivilAffairsActivity)
    (hasPurpose ?CAA
        (exists (?GUIDING ?OP)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP)
                (instance ?OP CivilMilitaryOperation)))))
MilitaryProcesses.kif 2366-2373
(=>
    (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 2242-2248


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners