| Requesting | |
| 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 12277-12280 | |
| (subclass Requesting Directing) | Merge.kif 12276-12276 |
| appearance as argument number 2 |
|
|
| (subclass Bidding Requesting) | UXExperimentalTerms.kif 1544-1544 | |
| (subclass LegalAppeal Requesting) | Mid-level-ontology.kif 13798-13798 | |
| (subclass Praying Requesting) | Mid-level-ontology.kif 7682-7682 | |
| (subclass Prompting Requesting) | Mid-level-ontology.kif 27921-27921 | |
| (subclass Reminding Requesting) | Mid-level-ontology.kif 1232-1232 | |
| (termFormat ChineseLanguage Requesting "要求") | chinese_format.kif 1201-1201 | |
| (termFormat EnglishLanguage Requesting "requesting") | english_format.kif 1624-1624 |
| 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 3963-3988 | |
| (=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (patient ?REQUEST ?FORMULA) (instance ?FORMULA Formula)) (desires ?AGENT ?FORMULA)) |
Merge.kif 12282-12288 | |
| (=> (and (instance ?REQUEST Requesting) (result ?REQUEST ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Request)) |
Mid-level-ontology.kif 11926-11931 |
| 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 1563-1585 | |
| (=> (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 4117-4128 | |
| (=> (instance ?GROUP PoliticalPressureGroup) (exists (?REQ ?ORG) (and (instance ?REQ Requesting) (agent ?REQ ?GROUP) (instance ?ORG GovernmentOrganization) (patient ?REQ ?ORG)))) |
Government.kif 2294-2301 | |
| (=> (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 1918-1936 |
|
|
|