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

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


s__documentation(s__Requesting,s__ChineseLanguage,'"这是一个请求,它表示希望在未来执行某种行动。例如:第五营 要求第三轰炸机组提供空中支援。注:这个类别包括提议、提案和建议等等。"')

chinese_format.kif 3270-3271
s__documentation(s__Requesting,s__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 12539-12542
s__instance(s__Directing,s__SetOrClass)

s__subclass(s__Requesting,s__Directing)

s__instance(s__Requesting,s__SetOrClass)

Merge.kif 12538-12538 Requesting is a subclass of directing

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


s__subclass(s__Bidding,s__Requesting)

s__instance(s__Requesting,s__SetOrClass)

s__instance(s__Bidding,s__SetOrClass)

UXExperimentalTerms.kif 1545-1545 Bidding is a subclass of requesting
s__subclass(s__LegalAppeal,s__Requesting)

s__instance(s__LegalAppeal,s__SetOrClass)

s__instance(s__Requesting,s__SetOrClass)

Mid-level-ontology.kif 14424-14424 Legal appeal is a subclass of requesting
s__subclass(s__Praying,s__Requesting)

s__instance(s__Requesting,s__SetOrClass)

s__instance(s__Praying,s__SetOrClass)

Mid-level-ontology.kif 7361-7361 Praying is a subclass of requesting
s__instance(s__Prompting,s__SetOrClass)

s__subclass(s__Prompting,s__Requesting)

s__instance(s__Requesting,s__SetOrClass)

Mid-level-ontology.kif 27855-27855 Prompting is a subclass of requesting
s__subclass(s__Reminding,s__Requesting)

s__instance(s__Reminding,s__SetOrClass)

s__instance(s__Requesting,s__SetOrClass)

Mid-level-ontology.kif 787-787 Reminding is a subclass of requesting
s__termFormat(s__ChineseLanguage,s__Requesting,'"要求"')

chinese_format.kif 1201-1201
s__termFormat(s__EnglishLanguage,s__Requesting,'"requesting"')

english_format.kif 1624-1624

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


( ! [V__PAGE,V__ACCESSING,V__INTERVAL,V__REQUESTING,V__BROWSER,V__TRANSFER,V__SERVER] :
   (((s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__PAGE,s__WebPage) &
         s__instance(V__TRANSFER,s__DataTransfer) &
         s__instance(V__SERVER,s__Server) &
         s__instance(V__REQUESTING,s__Requesting) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         s__patient(V__ACCESSING,V__PAGE)
       &
       s__agent(V__REQUESTING,V__BROWSER)
     &
     s__destination(V__REQUESTING,V__SERVER)
   &
   s__patient(V__REQUESTING,V__PAGE)
&
s__origin(V__TRANSFER,V__SERVER)
&
s__destination(V__TRANSFER,V__BROWSER)
&
s__patient(V__TRANSFER,V__PAGE)
&
s__subProcess(V__TRANSFER,V__ACCESSING)
&
s__subProcess(V__REQUESTING,V__ACCESSING)
&
(s__EndFn(s__WhenFn(V__REQUESTING))
= s__BeginFn(V__INTERVAL))
&
(s__EndFn(s__WhenFn(V__TRANSFER))
= s__EndFn(V__INTERVAL)))
=>
((s__SiteSpeedFn(V__ACCESSING)
= V__INTERVAL)))
)
)

UXExperimentalTerms.kif 3966-3991
No TPTP formula. May not be expressible in strict first order. Merge.kif 12544-12550
( ! [V__SENTENCE,V__REQUEST] :
   (((s__instance(V__REQUEST,s__Requesting) &
         s__result(V__REQUEST,V__SENTENCE)
       &
       s__instance(V__SENTENCE,s__Sentence))
     =>
     (s__instance(V__SENTENCE,s__Request)))
   )
)

Mid-level-ontology.kif 12641-12646

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


( ! [V__PLANNING,V__COMMANDER] :
   (((s__instance(V__COMMANDER,s__Agent) &
         s__instance(V__COMMANDER,s__Position))
       =>
       (((s__instance(V__PLANNING,s__OperationPlanning) &
             s__agent(V__PLANNING,V__COMMANDER))
         =>
         (((s__instance(V__COMMANDER,s__CombatantCommander) &
               ( ? [V__REQUEST, V__CHAIRMAN] :
                 ((s__instance(V__CHAIRMAN,s__Agent) &
                     (s__instance(V__REQUEST,s__Requesting) &
                       s__agent(V__REQUEST,V__CHAIRMAN)
                     &
                     s__attribute(V__CHAIRMAN,s__ChairmanJCS) &
                     s__causes(V__REQUEST,V__PLANNING))))))
         |
         (s__instance(V__COMMANDER,s__SubunifiedCommander) &
           ( ? [V__REQUEST, V__COMMANDERSUPER, V__MILITARY] :
             ((s__instance(V__COMMANDERSUPER,s__Agent) &
                 s__instance(V__COMMANDERSUPER,s__Position) &
                 (s__instance(V__REQUEST,s__Requesting) &
                   s__agent(V__REQUEST,V__COMMANDERSUPER)
                 &
                 s__attribute(V__COMMANDERSUPER,s__MilitaryCommander) &
                 s__subordinatePosition(V__MILITARY,V__COMMANDER,V__COMMANDERSUPER)
               &
               s__instance(V__MILITARY,s__MilitaryForce) &
               s__causes(V__REQUEST,V__PLANNING)))))))))))
)
)

MilitaryProcesses.kif 1563-1585
( ! [V__S,V__SPAM,V__H] :
   (((s__instance(V__S,s__Spamming) &
         s__result(V__S,V__SPAM)
       &
       s__instance(V__S,s__Spam) &
       s__instance(V__H,s__Human) &
       s__destination(V__S,V__H))
   =>
   (~(( ? [V__R] :
         ((s__instance(V__R,s__Requesting) &
             s__patient(V__R,V__SPAM)))))))
)
)

ComputingBrands.kif 4168-4179
( ! [V__GROUP] :
   ((s__instance(V__GROUP,s__PoliticalPressureGroup) =>
       (( ? [V__REQ, V__ORG] :
           ((s__instance(V__REQ,s__Requesting) &
               s__agent(V__REQ,V__GROUP)
             &
             s__instance(V__ORG,s__GovernmentOrganization) &
             s__patient(V__REQ,V__ORG))))))
)
)

Government.kif 2326-2333
( ! [V__SVC] :
   ((s__instance(V__SVC,s__RoomService) =>
       (( ? [V__AGENT, V__FOOD, V__CUSTOMER, V__RQST, V__ORDER, V__DELIVERY, V__LOC] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__CUSTOMER,s__CognitiveAgent) &
               (s__customer(V__CUSTOMER,V__AGENT)
               &
               s__agent(V__SVC,V__AGENT)
             &
             s__instance(V__RQST,s__Requesting) &
             s__agent(V__RQST,V__CUSTOMER)
           &
           s__patient(V__RQST,V__ORDER)
         &
         s__represents(V__ORDER,V__FOOD)
       &
       s__instance(V__FOOD,s__PreparedFood) &
       s__located(V__CUSTOMER,V__LOC)
     &
     s__instance(V__LOC,s__HotelUnit) &
     s__instance(V__DELIVERY,s__DeliveryService) &
     s__patient(V__DELIVERY,V__FOOD)
   &
   s__destination(V__DELIVERY,V__LOC)
&
s__before(s__BeginFn(s__WhenFn(V__RQST))
,s__BeginFn(s__WhenFn(V__DELIVERY)))))))))
)
)

Hotel.kif 1931-1949


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