  PropertyFn
|
|
Sigma KEE - PropertyFn
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(element ?OBJ
(PropertyFn ?PERSON))
(possesses ?PERSON ?OBJ)) |
Merge.kif 4394-4397 |
If X is an element of belongings of Y, then Y possesses X |
(=>
(monetaryValue
(PropertyFn ?PERSON) ?AMOUNT)
(equal
(WealthFn ?PERSON) ?AMOUNT)) |
Merge.kif 7982-7986 |
If value of belongings of X is Y, then equal value of belongings of X and Y |
(=>
(and
(element ?X
(PropertyFn ?HOTEL))
(instance ?X RoomInventory))
(forall (?Y)
(=>
(member ?Y ?X)
(element ?Y
(PropertyFn ?HOTEL))))) |
Hotel.kif 147-154 |
If X is an element of belongings of Y and X is an instance of room inventory, then For all Physical Z: if Z is a member of X, then Z is an element of belongings of Y |
(=>
(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
(freeRoomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?O ?OBJ)
(located ?O ?R)
(instance ?P Process)
(agent ?P ?GUEST)
(or
(patient ?P ?O)
(instrument ?P ?O)
(resource ?P ?O)))
(price ?O
(MeasureFn 0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 346-361 |
If All of the following hold: (1) use of X is free for Y (2) X is a subclass of object (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) U is an instance of X (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) U is a patient of T (2) U is an instrument for T (3) U is a resource for T, then U is price 0 united states dollar(s) for W |
(=>
(and
(freeRoomAmenity ?ROOM ?PROC)
(subclass ?PROC Process)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(patient ?P ?GUEST)
(or
(instance ?P ?PROC)
(and
(instance ?S ?PROC)
(subProcess ?P ?S)))
(located ?P ?R))
(price ?P
(MeasureFn 0.0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 364-378 |
If All of the following hold: (1) use of X is free for Y (2) X is a subclass of process (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of X or T is an instance of X and U is a subprocess of T (8) U is located at Z, then U is price 0.0 united states dollar(s) for W |
(=>
(and
(paidRoomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?O ?OBJ)
(located ?O ?R)
(instance ?P Process)
(agent ?P ?GUEST)
(or
(located ?P ?R)
(patient ?P ?O)
(instrument ?P ?O)
(resource ?P ?O)))
(exists (?PRICE ?U)
(and
(price ?O
(MeasureFn ?PRICE ?U) ?GUEST)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 396-417 |
If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of object (3) Z is an instance of X (4) W stays at Z (5) Z is an element of belongings of V (6) U is an instance of Y (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) T is located at Z (2) U is a patient of T (3) U is an instrument for T (4) U is a resource for T, then there exist S and R such that U is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
(=>
(and
(paidRoomAmenity ?ROOM ?PROC)
(subclass ?PROC Process)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(patient ?P ?GUEST)
(or
(instance ?P ?PROC)
(and
(instance ?S ?PROC)
(subProcess ?P ?S)))
(located ?P ?R))
(exists (?PRICE ?U)
(and
(price ?P
(MeasureFn ?PRICE ?U) ?GUEST)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 419-438 |
If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of process (3) Z is an instance of X (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of Y or T is an instance of Y and U is a subprocess of T (8) U is located at Z, then there exist S and R such that U is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
(=>
(and
(maxRoomCapacity ?ROOM ?NUM)
(instance ?X ?ROOM)
(element ?X
(PropertyFn ?AGENT)))
(modalAttribute
(exists (?GRP ?PPL)
(and
(instance ?GRP GroupOfPeople)
(memberCount ?GRP ?PPL)
(lessThanOrEqualTo ?PPL ?NUM)
(stays ?GRP ?X))) Possibility)) |
Hotel.kif 479-490 |
If X can accommodate at most Y people, Z is an instance of X, and Z is an element of belongings of W, then the statement there exist V, U such that V is an instance of group of people, U is a member count of V, U is less than or equal to Y, and V stays at Z has the modal force of possibility |
(=>
(and
(functionRoomAmenity ?FR ?PHY)
(instance ?RM ?FR)
(element ?RM
(PropertyFn ?HOTEL))
(instance ?RENT Renting)
(patient ?RENT ?RM)
(agent ?RENT ?HOTEL)
(destination ?RENT ?CUST)
(subclass ?PHY Object))
(modalAttribute
(exists (?O ?P)
(and
(instance ?O ?PHY)
(instance ?P Process)
(or
(resource ?P ?O)
(instrument ?P ?O)
(patient ?P ?O))
(or
(agent ?P ?CUST)
(experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 815-836 |
If All of the following hold: (1) use of X is free for Y (2) Z is an instance of Y (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) W is an agent of V (7) V ends up at U (8) X is a subclass of object, then the statement there exist T, S such that T is an instance of X, S is an instance of process, T is a resource for S, T is an instrument for S, T is a patient of S, and U is an agent of S, or U experiences S has the modal force of possibility |
(=>
(and
(freeFunctionRoomAmenity ?FR ?PHYS)
(instance ?RM ?FR)
(element ?RM
(PropertyFn ?AGENT))
(instance ?R Renting)
(patient ?R ?RM)
(destination ?R ?CUST)
(instance ?X ?PHYS)
(possesses ?AGENT ?X)
(customer ?CUST ?AGENT)
(or
(and
(instance ?X Process)
(or
(agent ?X ?CUST)
(experiencer ?X ?CUST)))
(and
(possesses ?AGENT ?X)
(instance ?X Object)
(uses ?X ?CUST))))
(price ?X
(MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 847-868 |
If All of the following hold: (1) X is free for customers renting Y (2) Z is an instance of Y (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) V ends up at U (7) T is an instance of X (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then T is price 0 united states dollar(s) for W |
(=>
(and
(paidFunctionRoomAmenity ?FR ?PHYS)
(instance ?RM ?FR)
(element ?RM
(PropertyFn ?AGENT))
(instance ?R Renting)
(patient ?R ?RM)
(destination ?R ?CUST)
(instance ?X ?PHYS)
(possesses ?AGENT ?X)
(customer ?CUST ?AGENT)
(or
(and
(instance ?X Process)
(or
(agent ?X ?CUST)
(experiencer ?X ?CUST)))
(and
(possesses ?AGENT ?X)
(instance ?X Object)
(uses ?X ?CUST))))
(exists (?PRICE ?U)
(and
(price ?X
(MeasureFn ?PRICE ?U) ?AGENT)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 879-905 |
If All of the following hold: (1) renters of X can pay to use Y (2) Z is an instance of X (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) V ends up at U (7) T is an instance of Y (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then there exist S and R such that T is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
(=>
(and
(element ?ROOM
(PropertyFn ?HOTEL))
(attribute ?ROOM AnnexRoom)
(instance ?ROOM HotelRoom))
(exists (?BLDG1 ?BLDG2 ?FRNT)
(and
(subOrganization ?FRNT ?HOTEL)
(instance ?FRNT HotelFrontDesk)
(located ?FRNT ?BLDG1)
(element ?BLDG1
(PropertyFn ?HOTEL))
(element ?BLDG2
(PropertyFn ?HOTEL))
(part ?ROOM ?BLDG2)
(not
(equal ?BLDG1 ?BLDG2))))) |
Hotel.kif 1135-1148 |
If X is an element of belongings of Y, annex room is an attribute of X, and X is an instance of hotel room, then All of the following hold: (1) there exist Z, W (2) V such that V is a part of the organization Y (3) V is an instance of front desk (4) V is located at Z (5) Z is an element of belongings of Y (6) W is an element of belongings of Y (7) X is a part of W (8) equal Z (9) W |
(=>
(and
(attribute ?X TravelerAccommodation)
(element ?CASINO
(PropertyFn ?X))
(instance ?CASINO Casino))
(attribute ?X CasinoHotels)) |
Hotel.kif 1463-1468 |
If traveler accommodation is an attribute of X, Y is an element of belongings of X, and Y is an instance of casino, then casino hotels is an attribute of X |
(=>
(and
(instance ?X HotelFunctionRoom)
(element ?X
(PropertyFn ?HOTEL)))
(hasPurpose ?X
(exists (?RENT)
(and
(instance ?RENT Renting)
(patient ?RENT ?X))))) |
Hotel.kif 1707-1715 |
If X is an instance of hotel function room and X is an element of belongings of Y, then X has the purpose there exists Z such that Z is an instance of renting and X is a patient of Z |
(=>
(and
(instance ?X Nursery)
(element ?X
(PropertyFn ?HOTEL))
(attribute ?HOTEL TravelerAccommodation))
(exists (?NANNY ?CARE)
(and
(attribute ?X CommunalAttribute)
(employs ?HOTEL ?NANNY)
(hasPurpose ?NANNY
(and
(instance ?CARE ChildCareService)
(serviceProvider ?CARE ?NANNY)))))) |
Hotel.kif 1920-1932 |
If X is an instance of nursery, X is an element of belongings of Y, and traveler accommodation is an attribute of Y, then there exist Z, W such that communal is an attribute of X, Y employs Z, Z has the purpose W is an instance of child-care service, and Z provides a service during W |
(=>
(and
(propositionOwner ?AGENT ?HP)
(instance ?HP HotelPackage)
(accommodationProvider ?HP ?HOTEL)
(roomStay ?HP ?NUM ?ROOM)
(instance ?R ?ROOM)
(element ?R
(PropertyFn ?HOTEL))
(buys ?CUST ?AGENT ?HP))
(exists (?TI)
(and
(equal ?TI
(MeasureFn ?NUM DayDuration))
(holdsDuring ?TI
(guest ?CUST ?HOTEL))))) |
Hotel.kif 2762-2775 |
If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S |
|
consequent
|
|
|
(=>
(possesses ?PERSON ?OBJ)
(element ?OBJ
(PropertyFn ?PERSON))) |
Merge.kif 4399-4402 |
If X possesses Y, then Y is an element of belongings of X |
(=>
(equal
(WealthFn ?PERSON) ?AMOUNT)
(monetaryValue
(PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7976-7980 |
If equal value of belongings of X and Y, then value of belongings of X is Y |
(=>
(member ?COMMUNIST Communism)
(believes ?COMMUNIST
(=>
(and
(instance ?MEANOFPRODUCTION MeanOfProduction)
(attribute ?OBJ ?MEANOFPRODUCTION)
(instance ?COUNTRY GeopoliticalArea)
(located ?OBJ ?COUNTRY))
(element ?OBJ
(PropertyFn
(CitizenryFn ?COUNTRY)))))) |
Economy.kif 880-889 |
If X is a member of communism, then X believes Y is an instance of mean of production, Y is an attribute of Z, W is an instance of geopolitical area, and Z is located at WZ is an element of belongings of the citizenry of W |
(=>
(member ?CAPITALIST Capitalism)
(believes ?CAPITALIST
(exists (?MEANOFPRODUCTION ?OBJ ?COUNTRY ?AA)
(and
(instance ?MEANOFPRODUCTION MeanOfProduction)
(attribute ?OBJ ?MEANOFPRODUCTION)
(instance ?COUNTRY GeopoliticalArea)
(located ?OBJ ?COUNTRY)
(instance ?AA AutonomousAgent)
(element ?OBJ
(PropertyFn ?AA))
(not
(equal ?AA
(CitizenryFn ?COUNTRY))))))) |
Economy.kif 905-917 |
If X is a member of capitalism, then All of the following hold: (1) X believes there exist Y, Z,, , W (2) V such that Y is an instance of mean of production (3) Y is an attribute of Z (4) W is an instance of geopolitical area (5) Z is located at W (6) V is an instance of agent (7) Z is an element of belongings of V (8) equal V (9) the citizenry of W |
(=>
(and
(instance ?CG CapitalMeanOfProduction)
(attribute ?CGO ?CG))
(exists (?A ?MONEY ?AGENT ?PROPERTYITEM)
(or
(and
(instance ?MONEY Currency)
(equal ?CGO ?MONEY))
(and
(element ?PROPERTYITEM
(PropertyFn ?AGENT))
(equal ?PROPERTYITEM ?CGO))
(and
(instance ?A Artifact)
(equal ?CGO ?A))))) |
Economy.kif 6135-6149 |
If X is an instance of capital goods and X is an attribute of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that W is an instance of currency (3) equal Y (4) W, U is an element of belongings of V (5) equal U (6) Y, or Z is an instance of artifact (7) equal Y (8) Z |
(=>
(attribute ?X TravelerAccommodation)
(hasPurpose ?X
(exists (?GUEST ?ROOM ?TI)
(and
(rents ?GUEST ?X ?ROOM ?TI)
(instance ?ROOM HotelUnit)
(element ?ROOM
(PropertyFn ?X)))))) |
Hotel.kif 45-52 |
If traveler accommodation is an attribute of X, then X has the purpose there exist Y, Z, W such that X rents Z to Y during W, Z is an instance of hotel unit, and Z is an element of belongings of X |
(=>
(instance ?ROOM HotelUnit)
(exists (?HOTEL)
(and
(attribute ?HOTEL TravelerAccommodation)
(element ?ROOM
(PropertyFn ?HOTEL))))) |
Hotel.kif 103-108 |
If X is an instance of hotel unit, then there exists Y such that traveler accommodation is an attribute of Y and X is an element of belongings of Y |
(=>
(instance ?ROOM HotelUnit)
(hasPurpose ?ROOM
(exists (?AGENT ?CUST ?TI)
(and
(not
(equal ?AGENT ?CUST))
(element ?ROOM
(PropertyFn ?AGENT))
(rents ?CUST ?AGENT ?ROOM ?TI))))) |
Hotel.kif 110-117 |
If X is an instance of hotel unit, then X has the purpose there exist Y, Z, W such that equal Y, Z, X is an element of belongings of Y, and Y rents X to Z during W |
(=>
(and
(element ?X
(PropertyFn ?HOTEL))
(instance ?X RoomInventory))
(forall (?Y)
(=>
(member ?Y ?X)
(element ?Y
(PropertyFn ?HOTEL))))) |
Hotel.kif 147-154 |
If X is an element of belongings of Y and X is an instance of room inventory, then For all Physical Z: if Z is a member of X, then Z is an element of belongings of Y |
(=>
(and
(roomAmenity ?ROOM ?SVC)
(subclass ?SVC Process))
(modalAttribute
(exists (?X ?S ?HOTEL ?PROC)
(and
(instance ?X ?ROOM)
(element ?X
(PropertyFn ?HOTEL))
(agent ?S ?HOTEL)
(or
(instance ?S ?SVC)
(and
(instance ?PROC ?SVC)
(subProcess ?S ?PROC)))
(located ?S ?X))) Possibility)) |
Hotel.kif 317-332 |
If X is an amenity in Y and X is a subclass of process, then All of the following hold: (1) the statement there exist Z, W,, , V (2) U such that Z is an instance of Y (3) Z is an element of belongings of V (4) V is an agent of W (5) W is an instance of X or U is an instance of X (6) W is a subprocess of U (7) W is located at Z has the modal force of possibility |
(=>
(and
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Process))
(modalAttribute
(exists (?S ?LOC ?PROC)
(and
(element ?LOC
(PropertyFn ?AGENT))
(agent ?S ?AGENT)
(patient ?S ?CUST)
(or
(instance ?S ?PHYS)
(and
(instance ?PROC ?PHYS)
(subProcess ?S ?PROC)))
(located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 |
If X is a customer of Y, X has Z, and Z is a subclass of process, then All of the following hold: (1) the statement there exist W, V (2) U such that V is an element of belongings of X (3) X is an agent of W (4) Y is a patient of W (5) W is an instance of Z or U is an instance of Z (6) W is a subprocess of U (7) W is located at V has the modal force of possibility |
(=>
(activityCapability ?AGENT ?ACT)
(exists (?LOC)
(and
(element ?LOC
(PropertyFn ?AGENT))
(capability ?ACT located ?LOC)))) |
Hotel.kif 603-608 |
If X can hold kinds of Y, then there exists Z such that Z is an element of belongings of X and Z is capable of doing Y as a located |
(=>
(propertyPolicy ?AGENT ?POLICY)
(forall (?X)
(=>
(element ?X
(PropertyFn ?AGENT))
(policyLocationCoverage ?POLICY ?X)))) |
Hotel.kif 619-624 |
If X has Y, then For all Object Z: if Z is an element of belongings of X, then Y covers Z |
(=>
(and
(element ?ROOM
(PropertyFn ?HOTEL))
(attribute ?ROOM AnnexRoom)
(instance ?ROOM HotelRoom))
(exists (?BLDG1 ?BLDG2 ?FRNT)
(and
(subOrganization ?FRNT ?HOTEL)
(instance ?FRNT HotelFrontDesk)
(located ?FRNT ?BLDG1)
(element ?BLDG1
(PropertyFn ?HOTEL))
(element ?BLDG2
(PropertyFn ?HOTEL))
(part ?ROOM ?BLDG2)
(not
(equal ?BLDG1 ?BLDG2))))) |
Hotel.kif 1135-1148 |
If X is an element of belongings of Y, annex room is an attribute of X, and X is an instance of hotel room, then All of the following hold: (1) there exist Z, W (2) V such that V is a part of the organization Y (3) V is an instance of front desk (4) V is located at Z (5) Z is an element of belongings of Y (6) W is an element of belongings of Y (7) X is a part of W (8) equal Z (9) W |
(=>
(instance ?X HotelFunctionRoom)
(exists (?HOTEL)
(element ?X
(PropertyFn ?HOTEL)))) |
Hotel.kif 1702-1705 |
If X is an instance of hotel function room, then there exists Y such that X is an element of belongings of Y |
(=>
(roomAmenity ?X HotelMiniBar)
(exists (?ROOM ?BAR ?HOTEL)
(and
(instance ?ROOM ?X)
(element ?ROOM
(PropertyFn ?HOTEL))
(instance ?BAR HotelMiniBar)
(located ?BAR ?ROOM)
(forall (?ITEM)
(=>
(member ?ITEM ?BAR)
(exists (?AMT)
(price ?ITEM ?AMT ?HOTEL))))))) |
Hotel.kif 1738-1750 |
If mini bar is an amenity in X, then there exist Y, Z, W such that Y is an instance of X, Y is an element of belongings of W, Z is an instance of mini bar, Z is located at Y, and V V is a member of Zthere exists U such that V is price U for W |
(=>
(and
(attribute ?X TravelerAccommodation)
(capability RoomCleaningService agent ?X))
(exists (?MAID ?HOTELROOM)
(and
(employs ?X ?MAID)
(attribute ?MAID Maid)
(instance ?HOTELROOM HotelUnit)
(part ?HOTELROOM
(PropertyFn ?X))
(capability RoomCleaningService patient ?HOTELROOM)
(capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1953-1964 |
If traveler accommodation is an attribute of X and X is capable of doing service as a agent, then All of the following hold: (1) there exist Y (2) Z such that X employs Y (3) maid is an attribute of Y (4) Z is an instance of hotel unit (5) Z is a part of belongings of X (6) Z is capable of doing service as a patient (7) Y is capable of doing service as a service provider |
(=>
(attribute ?X WaterThemePark)
(exists (?POOL)
(and
(instance ?POOL SwimmingPool)
(element ?POOL
(PropertyFn ?X))))) |
naics.kif 11434-11439 |
If water theme park is an attribute of X, then there exists Y such that Y is an instance of swimming pool and Y is an element of belongings of X |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
