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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Requesting
Requesting(demander)

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


(documentation Requesting ChineseLanguage "这是一个请求,它表示希望在未来执行某种行动。例如:第五营 要求第三轰炸机组提供空中支援。注:这个类别包括提议、提案和建议等等。") chinese_format.kif 3270-3271
(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 13334-13337
(subclass Requesting Directing) Merge.kif 13333-13333 Demander est une sous-classe de diriger

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


(subclass Bidding Requesting) UXExperimentalTerms.kif 1347-1347 Bidding est une sous-classe de demander
(subclass LegalAppeal Requesting) Mid-level-ontology.kif 17506-17506 LegalAppeal est une sous-classe de demander
(subclass Praying Requesting) Mid-level-ontology.kif 9171-9171 Praying est une sous-classe de demander
(subclass Prompting Requesting) Mid-level-ontology.kif 31626-31626 Prompting est une sous-classe de demander
(subclass Reminding Requesting) Mid-level-ontology.kif 837-837 Reminding est une sous-classe de demander
(termFormat ChineseLanguage Requesting "要求") chinese_format.kif 1201-1201 Reminding est une sous-classe de demander
(termFormat EnglishLanguage Requesting "requesting") english_format.kif 1619-1619 Reminding est une sous-classe de demander
(termFormat FrenchLanguage Requesting "demander") french_format.kif 879-879 Reminding est une sous-classe de demander
(termFormat Hindi Requesting "praarthanaa karanaa") terms-hindi.txt 412-412 Reminding est une sous-classe de demander
(termFormat ItalianLanguage Requesting "Richiedere") terms-it.txt 415-415 Reminding est une sous-classe de demander
(termFormat JapaneseLanguage Requesting "要求") japanese_format.kif 2563-2563 Reminding est une sous-classe de demander
(termFormat PortugueseLanguage Requesting "Pedir") portuguese_format.kif 831-831 Reminding est une sous-classe de demander
(termFormat cb Requesting "paghangyo") terms-cb.txt 417-417 Reminding est une sous-classe de demander
(termFormat cz Requesting "requesting") terms-cz.txt 451-451 Reminding est une sous-classe de demander
(termFormat de Requesting "Ersuchen") terms-de.txt 710-710 Reminding est une sous-classe de demander
(termFormat ro Requesting "cerere") relations-ro.kif 900-900 Reminding est une sous-classe de demander
(termFormat tg Requesting "naghihiling") terms-tg.txt 416-416 Reminding est une sous-classe de demander

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 3759-3784
(=>
    (and
        (instance ?REQUEST Requesting)
        (agent ?REQUEST ?AGENT)
        (patient ?REQUEST ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?AGENT ?FORMULA))
Merge.kif 13339-13345
(=>
    (and
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))
Mid-level-ontology.kif 15647-15652

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 1582-1604
(=>
    (and
        (instance ?S Spamming)
        (result ?S ?SPAM)
        (instance ?S Spam)
        (instance ?H Human)
        (destination ?S ?H))
    (not
        (exists (?R)
            (and
                (instance ?R Requesting)
                (patient ?R ?SPAM)))))
ComputingBrands.kif 4192-4203
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2314-2321
(=>
    (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 1980-1998


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