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 的行为。") chinese_format.kif 3066-3067
(documentation Guiding EnglishLanguage "Any IntentionalProcess where the agent tries to direct the behavior of another Object, whether an AutonomousAgent or not.") Merge.kif 11609-11610
(documentation Guiding JapaneseLanguage "%agent が Agent の有無にかかわらず、別の Object の動作を指示しようとする IntentionalProcess。") japanese_format.kif 1834-1835
(subclass Guiding IntentionalProcess) Merge.kif 11607-11607 Guiding is a subclass of intentional process

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


(subclass AchievingControl Guiding) Mid-level-ontology.kif 23417-23417 Achieving control is a subclass of guiding
(subclass AnimalGuiding Guiding) Mid-level-ontology.kif 4343-4343 Animal guiding is a subclass of guiding
(subclass DramaticDirecting Guiding) Mid-level-ontology.kif 18543-18543 Dramatic directing is a subclass of guiding
(subclass Driving Guiding) Merge.kif 11612-11612 Driving is a subclass of guiding
(subclass EducationalProcess Guiding) Merge.kif 11626-11626 Educational process is a subclass of guiding
(subclass GuidingMotion Guiding) ComputerInput.kif 69-69 Guiding motion is a subclass of guiding
(subclass Managing Guiding) Merge.kif 10827-10827 Managing is a subclass of guiding
(subclass MovingCursor Guiding) ComputerInput.kif 1725-1725 Moving cursor is a subclass of guiding
(subclass MusicalConducting Guiding) Mid-level-ontology.kif 18493-18493 Musical conducting is a subclass of guiding
(subclass PhysicalGuiding Guiding) ComputerInput.kif 101-101 Physical guiding is a subclass of guiding
(subclass RailCarrierControl Guiding) Transportation.kif 2252-2252 Rail carrier control is a subclass of guiding
(subclass RegulatoryProcess Guiding) Merge.kif 10817-10817 Regulatory process is a subclass of guiding
(subclass Seating Guiding) Mid-level-ontology.kif 23393-23393 Seating is a subclass of guiding
(subclass Signalling Guiding) Mid-level-ontology.kif 23406-23406 Signalling is a subclass of guiding
(termFormat ChineseLanguage Guiding "引导") chinese_format.kif 1130-1130
(termFormat EnglishLanguage Guiding "guiding") english_format.kif 1477-1477
(termFormat FrenchLanguage Guiding "guider") french_format.kif 808-808
(termFormat Hindi Guiding "nirdeshana") terms-hindi.txt 340-340
(termFormat ItalianLanguage Guiding "Guidare") terms-it.txt 343-343
(termFormat JapaneseLanguage Guiding "案内") japanese_format.kif 2492-2492
(termFormat PortugueseLanguage Guiding "Guiar") portuguese_format.kif 760-760
(termFormat cb Guiding "pagtultol") terms-cb.txt 345-345
(termFormat cz Guiding "guiding") terms-cz.txt 379-379
(termFormat ro Guiding "ghidare") relations-ro.kif 829-829

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader
            (GovernmentFn ?AREA)))
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?AREA)
            (agent ?LEADING ?PERSON))))
Government.kif 2309-2317
(=>
    (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 30772-30783
(=>
    (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 30745-30758
(=>
    (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 2739-2747
(=>
    (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 2853-2861
(=>
    (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 2350-2360
(=>
    (instance ?CAA CivilAffairsActivity)
    (hasPurpose ?CAA
        (exists (?GUIDING ?OP)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP)
                (instance ?OP CivilMilitaryOperation)))))
MilitaryProcesses.kif 2386-2393
(=>
    (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 2301-2307


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