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 11759-11760
(documentation Guiding JapaneseLanguage "%agent が Agent の有無にかかわらず、別の Object の動作を指示しようとする IntentionalProcess。") japanese_format.kif 1834-1835
(subclass Guiding IntentionalProcess) Merge.kif 11757-11757 Guiding is a subclass of intentional process

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


(subclass AchievingControl Guiding) Mid-level-ontology.kif 25058-25058 Achieving control is a subclass of guiding
(subclass AnimalGuiding Guiding) Mid-level-ontology.kif 4786-4786 Animal guiding is a subclass of guiding
(subclass DramaticDirecting Guiding) Mid-level-ontology.kif 20114-20114 Dramatic directing is a subclass of guiding
(subclass Driving Guiding) Merge.kif 11762-11762 Driving is a subclass of guiding
(subclass EducationalProcess Guiding) Merge.kif 11776-11776 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 10965-10965 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 20064-20064 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 2427-2427 Rail carrier control is a subclass of guiding
(subclass RegulatoryProcess Guiding) Merge.kif 10955-10955 Regulatory process is a subclass of guiding
(subclass Seating Guiding) Mid-level-ontology.kif 25034-25034 Seating is a subclass of guiding
(subclass Signalling Guiding) Mid-level-ontology.kif 25047-25047 Signalling is a subclass of guiding
(termFormat ChineseLanguage Guiding "引导") chinese_format.kif 1130-1130 Signalling is a subclass of guiding
(termFormat EnglishLanguage Guiding "guiding") english_format.kif 1477-1477 Signalling is a subclass of guiding
(termFormat FrenchLanguage Guiding "guider") french_format.kif 808-808 Signalling is a subclass of guiding
(termFormat Hindi Guiding "nirdeshana") terms-hindi.txt 340-340 Signalling is a subclass of guiding
(termFormat ItalianLanguage Guiding "Guidare") terms-it.txt 343-343 Signalling is a subclass of guiding
(termFormat JapaneseLanguage Guiding "案内") japanese_format.kif 2492-2492 Signalling is a subclass of guiding
(termFormat PortugueseLanguage Guiding "Guiar") portuguese_format.kif 760-760 Signalling is a subclass of guiding
(termFormat cb Guiding "pagtultol") terms-cb.txt 345-345 Signalling is a subclass of guiding
(termFormat cz Guiding "guiding") terms-cz.txt 379-379 Signalling is a subclass of guiding
(termFormat de Guiding "Fuehren") terms-de.txt 638-638 Signalling is a subclass of guiding

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 2270-2278
(=>
    (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 32708-32719
(=>
    (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 32679-32692
(=>
    (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 3202-3210
(=>
    (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 966-984
(=>
    (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 3316-3324
(=>
    (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 2262-2268


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