Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| confersRight |
| appearance as argument number 1 |
|
| (instance confersRight TernaryPredicate) | Merge.kif 17782-17782 | confers right is an instance of ternary predicate |
| (domain confersRight 1 Entity) | Merge.kif 17783-17783 | The number 1 argument of confers right is an instance of entity |
| (domain confersRight 2 CognitiveAgent) | Merge.kif 17784-17784 | The number 2 argument of confers right is an instance of cognitive agent |
| (domain confersRight 3 Formula) | Merge.kif 17785-17785 | The number 3 argument of confers right is an instance of formula |
| (documentation confersRight EnglishLanguage "Expresses the relationship between a Formula, an Entity, and a CognitiveAgent when the Entity authorizes the CognitiveAgent to bring it about that the Formula is true.") | Merge.kif 17786-17788 | The number 3 argument of confers right is an instance of formula |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept confersObligation confersRight) | Merge.kif 17806-17806 | confers obligation is internally related to confers right |
| (termFormat EnglishLanguage confersRight "confers right") | domainEnglishFormat.kif 16590-16590 | confers obligation is internally related to confers right |
| (termFormat ChineseTraditionalLanguage confersRight "賦予權利") | domainEnglishFormat.kif 16591-16591 | confers obligation is internally related to confers right |
| (termFormat ChineseLanguage confersRight "赋予权利") | domainEnglishFormat.kif 16592-16592 | confers obligation is internally related to confers right |
| (format EnglishLanguage confersRight "%2 %n{doesn't} allow%p{s} %3 to perform task of the type %1") | english_format.kif 204-204 | confers obligation is internally related to confers right |
| antecedent |
|
|
| (=> (confersRight ?AGENT1 ?AGENT2 ?FORMULA) (holdsRight ?AGENT2 ?FORMULA)) |
Merge.kif 17790-17792 | If X allows Y to perform task of the type Z, then X has the right to perform %3 |
| (=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?AGR ?AGENT ?FORMULA) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?AGENT ?FORMULA))) |
Government.kif 686-693 | If X is an agreement effective date of Y, Z allows W to perform task of the type Y, and V is an instance of X, then Z has the right to perform holds during immediately after V |
| (=> (and (policyEffectiveDate ?POL ?DATE) (confersRight ?POL ?AGENT ?FORMULA) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?AGENT ?FORMULA))) |
TravelPolicies.kif 197-202 | If policyEffectiveDate X and Y, Z allows W to perform task of the type X, and V is an instance of Y, then Z has the right to perform holds during immediately after V |
| consequent |
|
|
| (=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight ?AWARD ?PLAINTIFF (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))))) |
Mid-level-ontology.kif 17833-17845 | If X is an instance of legal award, X includes a reference to Y, Y is an instance of legal action, and Z is an agent of Y, then Z allows there exist W, V, U such that W is an instance of getting, Z experiences W, V is a patient of W, and value of V is U to perform task of the type X |
| (=> (and (instance ?STEAL Stealing) (destination ?STEAL ?AGENT) (origin ?STEAL ?VICTIM) (instance ?VICTIM CognitiveAgent)) (not (confersRight ?VICTIM ?AGENT (destination ?STEAL ?AGENT)))) |
Mid-level-ontology.kif 20505-20513 | If X is an instance of stealing, X ends up at Y, X originates at Z, and Z is an instance of cognitive agent, then Y doesn't allow X doesn't end up at Y to perform task of the type Z |
| (=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (instance ?HEIR Human) (origin ?INHERIT ?PERSON) (instance ?PERSON Human) (patient ?INHERIT ?PROPERTY) (instance ?PROPERTY Object)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight ?PERSON ?HEIR (possesses ?HEIR ?PROPERTY))))) |
Mid-level-ontology.kif 20540-20561 | If All of the following hold: (1) X is an instance of inheriting (2) Y is an agent of X (3) Y is an instance of human (4) X originates at Z (5) Z is an instance of human (6) W is a patient of X (7) W is an instance of object, then there exists V such that V is an instance of death, Z experiences V, the time of existence of V happens earlier than the time of existence of X, Z possesses W holds during immediately before the time of existence of V, and Y allows Y possesses W to perform task of the type Z |
| (=> (instance ?X RestaurantBuilding) (hasPurpose ?X (exists (?OWN ?EMP ?P ?PAY) (and (employs ?OWN ?EMP) (possesses ?OWN ?X) (instance ?P Human) (instance ?PAY FinancialTransaction) (agent ?PAY ?P) (patient ?PAY ?EMP) (confersRight ?EMP ?P (exists (?EV) (and (instance ?EV Eating) (agent ?EV ?P) (eventLocated ?EV ?X)))))))) |
Mid-level-ontology.kif 24837-24853 | If X is an instance of restaurant building, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y employs Z (3) Y possesses X (4) W is an instance of human (5) V is an instance of financial transaction (6) W is an agent of V (7) Z is a patient of V (8) W allows there exists U such that U is an instance of eating (9) W is an agent of U (10) U is located at X to perform task of the type Z |
| (=> (instance ?INVOICE Invoice) (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?INVOICE) (buys ?BUYER ?SELLER ?ENT) (confersRight ?SELLER ?BUYER (exists (?SELLING) (and (before (BeginFn (WhenFn ?INVOICE)) (BeginFn (WhenFn ?SELLING))) (instance ?SELLING Selling) (instance ?PRODUCT Product) (objectTransferred ?SELLING ?PRODUCT) (refers ?INVOICE ?PRODUCT) (agent ?SELLING ?SELLER) (patient ?SELLING ?BUYER))))))) |
Mid-level-ontology.kif 32467-32487 | If X is an instance of invoice, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that the unique identifier of Y is X (3) Z buys V from W (4) Z allows there exists T such that the beginning of the time of existence of X happens before the beginning of the time of existence of T (5) T is an instance of selling (6) U is an instance of product (7) the object transferred in T is U (8) X includes a reference to U (9) W is an agent of T (10) Z is a patient of T to perform task of the type W |
| (=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (desires ?CUST (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST))))) (modalAttribute (confersRight ?AGENT ?CUST (uses ?X ?CUST)) Possibility)) |
Dining.kif 336-350 | If X provides Y, X is a customer of Z, W is an instance of Y, and Z desires there exists V such that V is an instance of intentional process, W is a patient of V, and Z is an agent of V, then the statement Z allows Z uses W to perform task of the type X has the modal force of possibility |
| (=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight ?HOTEL ?CUST (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))))))) |
Hotel.kif 294-313 | If All of the following hold: (1) X is a guest at Y (2) X stays at Z (3) Z is an element of belongings of Y (4) Z is an instance of W (5) V is an amenity in W (6) V is a subclass of object, then there exists U such that U is an instance of V, U is located at Z, X allows there exists T such that X is an agent of T, and U is an instrument for T or U is a patient of T or U is a resource for T to perform task of the type Y |
| (=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight ?AGENT ?CUST (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))))) |
Hotel.kif 504-520 | If X is a customer of Y, X has Z, Z is a subclass of object, and W is an instance of Z, then Y allows there exists V such that V is an instance of process, W is a resource for V, W is an instrument for V, W is a patient of V, and Y is an agent of V, or Y experiences V to perform task of the type X |
| (=> (attribute ?X ArtsAndRecreationTicketingServices) (hasPurpose ?X (exists (?SELL ?TICKET ?CUST) (and (instance ?SELL Selling) (patient ?SELL ?TICKET) (agent ?SELL ?X) (instance ?TICKET Ticket) (destination ?SELL ?CUST) (hasPurpose ?TICKET (confersRight ?X ?CUST (exists (?WATCH ?PERF) (and (instance ?WATCH Seeing) (agent ?WATCH ?CUST) (patient ?WATCH ?PERF) (or (instance ?PERF Performance) (instance ?PERF Sport)))))))))) |
Hotel.kif 2371-2390 | If arts and recreation tickets is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of selling (3) Z is a patient of Y (4) X is an agent of Y (5) Z is an instance of ticket (6) Y ends up at W (7) Z has the purpose W allows there exist V (8) U such that V is an instance of seeing (9) W is an agent of V (10) U is a patient of V (11) U is an instance of performance or U is an instance of sport to perform task of the type X |
| (=> (confersObligation ?E ?A ?F) (confersRight ?E ?A ?F)) |
Law.kif 324-326 | If X obligates Y to perform task of the type Z, then X allows Y to perform task of the type Z |
| (=> (and (instance ?AR ArmedReconnaissance) (agent ?AR ?AGENT) (patient ?AR ?HOSTILE) (holdsDuring (WhenFn ?AR) (enemy ?AGENT ?HOSTILE))) (confersRight ?AR ?AGENT (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))))) |
MilitaryProcesses.kif 89-103 | If X is an instance of armed reconnaissance, Y is an agent of X, Z is a patient of X, and Y and Z are enemies of each other holds during the time of existence of X, then Y allows there exists W such that W is an instance of attack, Y is an agent of W, and Z is a patient of W to perform task of the type X |
| (=> (and (instance ?TA_CTRL TerminalAttackControl) (agent ?TA_CTRL ?AGENT1) (patient ?TA_CTRL ?TARGET)) (exists (?AGENT2) (and (not (equal ?AGENT1 ?AGENT2)) (confersRight ?TA_CTRL ?AGENT2 (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT2) (patient ?ATTACK ?TARGET))))))) |
MilitaryProcesses.kif 484-500 | If ?TA_CTRL is an instance of terminal attack control, Y is an agent of ?TA_CTRL, and Z is a patient of ?TA_CTRL, then there exists W such that equal Y, W, W allows there exists V such that V is an instance of attack, W is an agent of V, and Z is a patient of V to perform task of the type ?TA_CTRL |
| (=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (holdsDuring ?T (located ?CUST ?BLDG)) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring ?T (confersRight ?BUS ?CUST (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE))))) |
TransportDetail.kif 106-125 | If All of the following hold: (1) X possesses Y (2) X is an instance of commercial agent (3) Y is an instance of parking lot (4) Z is an instance of building (5) X is located at Z (6) W is a customer of X (7) W is located at Z holds during V (8) U is an instance of driving (9) T is a patient of U (10) W is an agent of U (11) U ends up at Z, then W allows S is an instance of keeping, S ends up at Y, and T is a patient of S to perform task of the type X holds during V |
| (=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight FederalAviationAdministration ?AIRLINE (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))))) |
Transportation.kif 4634-4644 | If X is an instance of AOC number, Y is an instance of Airline, and Y possesses X, then Y allows there exists Z such that Z is an instance of Air Transportation Service and Y provides a service during Z to perform task of the type Federal Aviation Administration |
| (=> (and (instance ?ORG Organization) (attribute ?ORG AirTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?FLY ?PLANE ?OBJ) (and (instance ?FLY Transportation) (or (patient ?FLY ?P) (and (possesses ?P ?OBJ) (patient ?FLY ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?PLANE) (instance ?PLANE Aircraft))))))))) |
naics.kif 7950-7975 | If X is an instance of organization and air transportation industry is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V, U (8) T such that V is an instance of transportation (9) W is a patient of V or W possesses T (10) T is a patient of V (11) T is an instance of object (12) X possesses U (13) U is an instance of aircraft to perform task of the type Z |
| (=> (and (instance ?ORG Organization) (attribute ?ORG RailTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?MOVE ?RR ?OBJ) (and (instance ?MOVE Transportation) (or (patient ?MOVE ?P) (and (possesses ?P ?OBJ) (patient ?MOVE ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?RR) (instance ?RR RailVehicle))))))))) |
naics.kif 8031-8056 | If X is an instance of organization and rail transportation is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V, U (8) T such that V is an instance of transportation (9) W is a patient of V or W possesses T (10) T is a patient of V (11) T is an instance of object (12) X possesses U (13) U is an instance of rail vehicle to perform task of the type Z |
| (=> (and (instance ?ORG Organization) (attribute ?ORG WaterTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (or (patient ?T ?P) (and (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?V) (instance ?V WaterVehicle))))))))) |
naics.kif 8077-8102 | If X is an instance of organization and water transportation industry is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V, U (8) T such that V is an instance of transportation (9) W is a patient of V or W possesses T (10) T is a patient of V (11) T is an instance of object (12) X possesses U (13) U is an instance of water vehicle to perform task of the type Z |
| (=> (and (instance ?ORG Organization) (attribute ?ORG TruckTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object) (possesses ?ORG ?V) (instance ?V LandVehicle))))))))) |
naics.kif 8250-8272 | If X is an instance of organization and truck transportation is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V, U (8) T such that V is an instance of transportation (9) W possesses T (10) T is a patient of V (11) T is an instance of object (12) X possesses U (13) U is an instance of land vehicle to perform task of the type Z |
| (=> (and (instance ?ORG Organization) (attribute ?ORG TransitAndGroundPassengerTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?T ?V) (and (instance ?T Transportation) (patient ?T ?P) (possesses ?ORG ?V) (instance ?V LandVehicle))))))))) |
naics.kif 8341-8361 | If X is an instance of organization and transit and ground passenger transportation is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V (8) U such that V is an instance of transportation (9) W is a patient of V (10) X possesses U (11) U is an instance of land vehicle to perform task of the type Z |
| (=> (and (instance ?ORG Organization) (attribute ?ORG PipelineTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?T ?V ?OBJ ?PIPE) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Substance) (possesses ?ORG ?V) (instrument ?T ?PIPE) (instance ?PIPE Pipeline))))))))) |
naics.kif 8462-8485 | If X is an instance of organization and pipeline transportation is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V, U,, , T (8) S such that V is an instance of transportation (9) W possesses T (10) T is a patient of V (11) T is an instance of substance (12) X possesses U (13) S is an instrument for V (14) S is an instance of pipeline to perform task of the type Z |
| (=> (and (instance ?ORG Organization) (attribute ?ORG ScenicAndSightseeingTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?TRANS ?VEH) (and (instance ?TRANS Transportation) (instance ?TRANS RecreationOrExercise) (patient ?TRANS ?P) (possesses ?ORG ?VEH) (instance ?VEH Vehicle))))))))) |
naics.kif 8525-8546 | If X is an instance of organization and scenic and sightseeing transportation is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V (8) U such that V is an instance of transportation (9) V is an instance of recreation or exercise (10) W is a patient of V (11) X possesses U (12) U is an instance of vehicle to perform task of the type Z |
| (=> (and (instance ?ORG Organization) (attribute ?ORG PostalService)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?TRANS) (and (instance ?TRANS Transportation) (possesses ?P ?OBJ) (patient ?TRANS ?OBJ))))))))) |
naics.kif 8704-8724 | If X is an instance of organization and postal service is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W (5) V such that Y is an instance of selling (6) V is an instance of object (7) W is an instance of human (8) W is a patient of Y (9) W allows there exists U such that U is an instance of transportation (10) W possesses V (11) V is a patient of U to perform task of the type Z |
| (=> (and (instance ?ORG Organization) (attribute ?ORG CouriersAndMessengers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?TRANS) (and (instance ?TRANS Transportation) (possesses ?P ?OBJ) (patient ?TRANS ?OBJ))))))))) |
naics.kif 8733-8753 | If X is an instance of organization and couriers and messengers is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W (5) V such that Y is an instance of selling (6) V is an instance of object (7) W is an instance of human (8) W is a patient of Y (9) W allows there exists U such that U is an instance of transportation (10) W possesses V (11) V is a patient of U to perform task of the type Z |
| (=> (and (instance ?ORG Organization) (attribute ?ORG WarehousingAndStorage)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight ?MEM ?P (exists (?B ?T) (and (instance ?T TimeInterval) (instance ?B Building) (possesses ?P ?OBJ) (holdsDuring ?T (located ?B ?OBJ)))))))))) |
naics.kif 8773-8794 | If X is an instance of organization and warehousing and storage is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W (5) V such that Y is an instance of selling (6) V is an instance of object (7) W is an instance of human (8) W is a patient of Y (9) W allows there exist U (10) T such that T is an instance of timeframe (11) U is an instance of building (12) W possesses V (13) U is located at V holds during T to perform task of the type Z |
|