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

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


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

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


(subclass AchievingControl Guiding) Mid-level-ontology.kif 21328-21328 Achieving control is a subclass of guiding
(subclass AnimalGuiding Guiding) Mid-level-ontology.kif 4816-4816 AnimalGuiding is a subclass of guiding
(subclass DramaticDirecting Guiding) Mid-level-ontology.kif 16135-16135 Dramatic directing is a subclass of guiding
(subclass Driving Guiding) Merge.kif 11563-11563 Driving is a subclass of guiding
(subclass EducationalProcess Guiding) Merge.kif 11578-11578 Educational process is a subclass of guiding
(subclass GuidingMotion Guiding) ComputerInput.kif 90-90 GuidingMotion is a subclass of guiding
(subclass Managing Guiding) Merge.kif 10792-10792 Managing is a subclass of guiding
(subclass MovingCursor Guiding) ComputerInput.kif 1343-1343 MovingCursor is a subclass of guiding
(subclass MusicalConducting Guiding) Mid-level-ontology.kif 16073-16073 MusicalConducting is a subclass of guiding
(subclass PhysicalGuiding Guiding) ComputerInput.kif 122-122 PhysicalGuiding is a subclass of guiding
(subclass RailCarrierControl Guiding) Transportation.kif 2213-2213 Rail carrier control is a subclass of guiding
(subclass RegulatoryProcess Guiding) Merge.kif 10780-10780 Regulatory process is a subclass of guiding
(subclass Seating Guiding) Mid-level-ontology.kif 21302-21302 Seating is a subclass of guiding
(subclass Signalling Guiding) Mid-level-ontology.kif 21315-21315 Signalling is a subclass of guiding
(termFormat ChineseLanguage Guiding "引导") chinese_format.kif 1130-1130 "引导" is the printable form of guiding in ChineseLanguage
(termFormat EnglishLanguage Guiding "guiding") english_format.kif 1467-1467 "guiding" is the printable form of guiding in english language
(termFormat JapaneseLanguage Guiding "案内") english_format.kif 1468-1468 "案内" is the printable form of guiding in japanese language

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader
            (GovernmentFn ?AREA)))
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?AREA)
            (agent ?LEADING ?PERSON))))
Government.kif 2256-2264
(=>
    (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 1050-1062
(=>
    (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 3203-3211
(=>
    (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 3322-3330
(=>
    (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 2317-2327
(=>
    (instance ?CAA CivilAffairsActivity)
    (hasPurpose ?CAA
        (exists (?GUIDING ?OP)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP_ACT)
                (instance ?OP CivilMilitaryOperation)))))
MilitaryProcesses.kif 2353-2360
(=>
    (instance ?OP SpecialOperation)
    (exists (?CONDUCTING ?SPFORCE)
        (and
            (instance ?CONDUCTING Guiding)
            (patient ?CONDUCTING ?OP)
            (agent ?CONDUCTING ?SPFORCE)
            (instance ?SPFORCE SpecialOperationsForces))))
MilitaryProcesses.kif 281-288
(=>
    (occupiesPosition ?PERSON Leader ?ORG)
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?ORG)
            (agent ?LEADING ?PERSON))))
Government.kif 2248-2254


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