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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Requesting
Requesting(requesting)adjuration, adjuratory, adjure, admonish, advance, advice, advise, advocate, allure, appeal, apply, approach, ask, ask_out, ask_over, ask_round, asking, assess, badger, bear_on, beep, beg, beg_off, beggary, begging, benediction, beseech, beseeching, besiege, bespeak, bid, bidding, bill, billing, blarney, blessing, book_up, bring, bring_around, bring_round, bum, buttonhole, buyout_bid, buzz, by-bid, cadge, cajole, call, call-out, call_for...

VerbNet: order-60|beseech, advise-37.9|warn, reflexive_appearance-48.1.2|suggest, urge-58.1|urge, force-59|allure, inquire-37.1.2|ask, urge-58.1|badger, force-59|push, order-60|beseech, beg-58.2|request, bill-54.5|bill, force-59|wheedle, obtain-13.5.2|cadge, urge-58.1|lobby, obtain-13.5.2|cadge, force-59|wheedle, promote-102|invite, investigate-35.4|canvass, investigate-35.4|canvass, bill-54.5|charge, force-59|wheedle, order-60|beseech, herd-47.5.2|convene, herd-47.5.2|convene, advise-37.9|warn, force-59|lure, order-60|beseech, force-59|press, obtain-13.5.2|cadge, order-60|hail, beg-58.2|beg, beg-58.2|importune, beg-58.2|importune, force-59|wheedle, urge-58.1|lobby, force-59|lure, advise-37.9|warn, obtain-13.5.2|cadge, get-13.5.1|order, exceed-90|outbid, force-59|wheedle, beg-58.2|beg, force-59|press, engender-27|stimulate, force-59|push, contribute-13.2|submit, urge-58.1|urge, beg-58.2|request, force-59|seduce, hunt-35.1|seek, ...


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


(documentation Requesting ChineseLanguage "这是一个请求,它表示希望在未来执行某种行动。例如:第五营 要求第三轰炸机组提供空中支援。注:这个类别包括提议、提案和建议等等。") Merge.kif 17537-17538
(documentation Requesting EnglishLanguage "A request expresses a desire that some future action be performed. For example, the 5th Battalion requested air support from the 3rd Bomber Group. Note that this class covers proposals, recommendations, suggestions, etc.") Merge.kif 17533-17536
(subclass Requesting Directing) Merge.kif 17532-17532 Requesting is a subclass of directing

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


(subclass Bidding Requesting) UXExperimentalTerms.kif 1545-1545 Bidding is a subclass of requesting
(subclass LegalAppeal Requesting) Mid-level-ontology.kif 13772-13772 Legal appeal is a subclass of requesting
(subclass Praying Requesting) Mid-level-ontology.kif 7700-7700 Praying is a subclass of requesting
(subclass Prompting Requesting) Mid-level-ontology.kif 27883-27883 Prompting is a subclass of requesting
(subclass Reminding Requesting) Mid-level-ontology.kif 1230-1230 Reminding is a subclass of requesting
(termFormat ChineseLanguage Requesting "要求") chinese_format.kif 1201-1201 "要求" is the printable form of requesting in ChineseLanguage
(termFormat EnglishLanguage Requesting "requesting") english_format.kif 2312-2312 "requesting" is the printable form of requesting in english language
(termFormat JapaneseLanguage Requesting "要求") english_format.kif 2313-2313 "要求" is the printable form of requesting in japanese language

antecedent
-------------------------


(=>
    (and
        (instance ?ACCESSING AccessingWebPage)
        (instance ?PAGE WebPage)
        (instance ?TRANSFER DataTransfer)
        (instance ?SERVER Server)
        (instance ?REQUESTING Requesting)
        (instance ?BROWSER WebBrowser)
        (instance ?INTERVAL TimeInterval)
        (patient ?ACCESSING ?PAGE)
        (agent ?REQUESTING ?BROWSER)
        (destination ?REQUESTING ?SERVER)
        (patient ?REQUESTING ?PAGE)
        (origin ?TRANSFER ?SERVER)
        (destination ?TRANSFER ?BROWSER)
        (patient ?TRANSFER ?PAGE)
        (subProcess ?TRANSFER ?ACCESSING)
        (subProcess ?REQUESTING ?ACCESSING)
        (equal
            (EndFn
                (WhenFn ?REQUESTING))
            (BeginFn ?INTERVAL))
        (equal
            (EndFn
                (WhenFn ?TRANSFER))
            (EndFn ?INTERVAL)))
    (equal
        (SiteSpeedFn ?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3954-3979
(=>
    (and
        (instance ?REQUEST Requesting)
        (agent ?REQUEST ?AGENT)
        (patient ?REQUEST ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?AGENT ?FORMULA))
Merge.kif 17540-17546
(=>
    (and
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))
Mid-level-ontology.kif 11894-11899

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


(=>
    (and
        (instance ?PLANNING OperationPlanning)
        (agent ?PLANNING ?COMMANDER))
    (or
        (and
            (instance ?COMMANDER CombatantCommander)
            (exists (?REQUEST ?CHAIRMAN)
                (and
                    (instance ?REQUEST Requesting)
                    (agent ?REQUEST ?CHAIRMAN)
                    (attribute ?CHAIRMAN ChairmanJCS)
                    (causes ?REQUEST ?PLANNING))))
        (and
            (instance ?COMMANDER SubunifiedCommander)
            (exists (?REQUEST ?COMMANDERSUPER ?MILITARY)
                (and
                    (instance ?REQUEST Requesting)
                    (agent ?REQUEST ?COMMANDERSUPER)
                    (attribute ?COMMANDERSUPER MilitaryCommander)
                    (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER)
                    (instance ?MILITARY MilitaryForce)
                    (causes ?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1550-1572
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2300-2307
(=>
    (instance ?SVC RoomService)
    (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
        (and
            (customer ?CUSTOMER ?AGENT)
            (agent ?SVC ?AGENT)
            (instance ?RQST Requesting)
            (agent ?RQST ?CUSTOMER)
            (patient ?RQST ?ORDER)
            (represents ?ORDER ?FOOD)
            (instance ?FOOD PreparedFood)
            (located ?CUSTOMER ?LOC)
            (instance ?LOC HotelUnit)
            (instance ?DELIVERY DeliveryService)
            (patient ?DELIVERY ?FOOD)
            (destination ?DELIVERY ?LOC)
            (before
                (BeginFn
                    (WhenFn ?RQST))
                (BeginFn
                    (WhenFn ?DELIVERY))))))
Hotel.kif 1913-1931


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