| 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 |
|
|
| (subclass Requesting Directing) | Merge.kif 13495-13495 | Requesting is a subclass of directing |
| (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 13496-13499 | Requesting is a subclass of directing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (containsFormula ?REQUEST ?FORMULA)) (desires ?AGENT ?FORMULA)) |
Merge.kif 13501-13506 | If X is an instance of requesting, Y is an agent of X, and X contains the formula Z, then Y desires Z |
| (=> (and (instance ?REQUEST Requesting) (result ?REQUEST ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Request)) |
Mid-level-ontology.kif 15830-15835 | If X is an instance of requesting, Y is a result of X, and Y is an instance of sentence, then Y is an instance of request |
| (=> (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 3756-3781 | If All of the following hold: (1) X is an instance of accessing web page (2) Y is an instance of web page (3) Z is an instance of data transfer (4) W is an instance of server (5) V is an instance of requesting (6) U is an instance of web browser (7) T is an instance of timeframe (8) Y is a patient of X (9) U is an agent of V (10) V ends up at W (11) Y is a patient of V (12) Z originates at W (13) Z ends up at U (14) Y is a patient of Z (15) Z is a subprocess of X (16) V is a subprocess of X (17) equal the end of the time of existence of V and the beginning of T (18) equal the end of the time of existence of Z and the end of T, then equal the time to access in X and T |
| consequent |
|
|
| (=> (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 4103-4114 | If X is an instance of spamming, Y is a result of X, X is an instance of spam, Z is an instance of human, and X ends up at Z, then there doesn't exist W such that W is an instance of requesting and Y is a patient of W |
| (=> (instance ?FRIENDREQUEST FriendRequest) (exists (?USER1 ?USER2 ?REQUEST) (and (instance ?REQUEST Requesting) (instance ?USER1 FacebookUser) (agent ?REQUEST ?USER1) (instance ?USER2 ComputerUser) (patient ?REQUEST ?USER2) (result ?REQUEST ?FRIENDREQUEST)))) |
Facebook.kif 596-605 | If X is an instance of friend request, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of requesting (3) Y is an instance of Facebook user (4) Y is an agent of W (5) Z is an instance of computer user (6) Z is a patient of W (7) X is a result of W |
| (=> (instance ?GROUP PoliticalPressureGroup) (exists (?REQ ?ORG) (and (instance ?REQ Requesting) (agent ?REQ ?GROUP) (instance ?ORG GovernmentOrganization) (patient ?REQ ?ORG)))) |
Government.kif 2323-2330 | If X is an instance of political pressure group, then there exist Y, Z such that Y is an instance of requesting, X is an agent of Y, Z is an instance of government organization, and Z is a patient of Y |
| (=> (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 1987-2005 | If X is an instance of room service, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that Y is a customer of W (3) Y is an agent of X (4) V is an instance of requesting (5) W is an agent of V (6) U is a patient of V (7) U expresses Z (8) Z is an instance of food (9) W is located at S (10) S is an instance of hotel unit (11) T is an instance of delivery service (12) Z is a patient of T (13) T ends up at S (14) the beginning of the time of existence of V happens before the beginning of the time of existence of T |
| (=> (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 1604-1626 | If X is an instance of operation planning and Y is an agent of X, then Y is an instance of combatant commander and there exist Z, W such that Z is an instance of requesting, W is an agent of Z, chairmanJC s is an attribute of W, and Z causes X or Y is an instance of subunified commander and All of the following hold: (1) there exist Z, V (2) U such that Z is an instance of requesting (3) V is an agent of Z (4) military commander is an attribute of V (5) U is subordinate position Y for V (6) U is an instance of military force (7) Z causes X |
| (=> (and (instance ?BT BusinessTrip) (agent ?BT ?EMPLOYEE)) (exists (?TRAVELREQUEST ?CORPORATION) (and (employs ?CORPORATION ?EMPLOYEE) (instance ?TRAVELREQUEST Requesting) (agent ?TRAVELREQUEST ?EMPLOYEE) (result ?TRAVELREQUEST ?BT)))) |
TravelPolicies.kif 484-493 | If X is an instance of BusinessTrip and Y is an agent of X, then there exist Z, W such that W employs Y, Z is an instance of requesting, Y is an agent of Z, and X is a result of Z |
|
|
|