   Set
|
|
Sigma KEE - element
|
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 |
(=>
(and
(subset ?SUBSET ?SET)
(element ?ELEMENT ?SUBSET))
(element ?ELEMENT ?SET)) |
Merge.kif 5521-5525 |
If X is a subset of Y and Z is an element of X, then Z is an element of Y |
(=>
(=>
(element ?ELEMENT ?SUBSET)
(element ?ELEMENT ?SET))
(subset ?SUBSET ?SET)) |
Merge.kif 5527-5531 |
If if X is an element of Y, then X is an element of Z, then Y is a subset of Z |
(=>
(<=>
(element ?ELEMENT ?SET1)
(element ?ELEMENT ?SET2))
(equal ?SET1 ?SET2)) |
Merge.kif 5541-5545 |
If X is an element of Y if and only if X is an element of Z, then equal Y and Z |
(=>
(and
(instance ?DECIDE Deciding)
(agent ?DECIDE ?AGENT)
(instance ?S Set)
(patient ?DECIDE ?S)
(element ?M ?S))
(believes ?AGENT
(exists (?CLASS)
(and
(instance ?M ?CLASS)
(subclass ?CLASS IntentionalProcess)
(capability ?CLASS agent ?AGENT))))) |
Merge.kif 12300-12312 |
If X is an instance of deciding, Y is an agent of X, Z is an instance of set, Z is a patient of X, and W is an element of Z, then Y believes there exists V such that W is an instance of V, V is a subclass of intentional process, and Y is capable of doing V as a agent |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(measure ?O ?Q)) |
Mid-level-ontology.kif 33621-33626 |
If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the measure of W is Y |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(length ?O ?Q)) |
Mid-level-ontology.kif 33658-33663 |
If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the length of W is Y |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(width ?O ?Q)) |
Mid-level-ontology.kif 33677-33682 |
If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the width of W is Y |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(height ?O ?Q)) |
Mid-level-ontology.kif 33689-33694 |
If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the height of W is Y |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(circumference ?O ?Q)) |
Mid-level-ontology.kif 33710-33715 |
If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then circumference W and Y |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(diameter ?O ?Q)) |
Mid-level-ontology.kif 33764-33769 |
If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the diameter of W is Y |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 33786-33791 |
If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the approximate diameter of W is Y |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(totalArea ?O ?Q)) |
Mid-level-ontology.kif 33815-33820 |
If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then Y is a total area of W |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S)
(instance ?P Process)
(agent ?P ?O))
(frequency Process ?Q)) |
Mid-level-ontology.kif 33853-33860 |
If members of X have the measure Y in terms of Z, X is an instance of set, W is an element of X, V is an instance of process, and W is an agent of V, then process occurs every 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 |
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
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 |
(=>
(and
(subset ?SUBSET ?SET)
(element ?ELEMENT ?SUBSET))
(element ?ELEMENT ?SET)) |
Merge.kif 5521-5525 |
If X is a subset of Y and Z is an element of X, then Z is an element of Y |
(=>
(instance ?SET NullSet)
(not
(exists (?INST)
(element ?INST ?SET)))) |
Merge.kif 5640-5644 |
If X is an instance of null set, then there doesn't exist Y such that Y is an element of X |
(=>
(instance ?SET NonNullSet)
(exists (?INST)
(element ?INST ?SET))) |
Merge.kif 5652-5655 |
If X is an instance of non null set, then there exists Y such that Y is an element of X |
(=>
(and
(instance ?DECIDE Deciding)
(agent ?DECIDE ?A)
(patient ?DECIDE ?S)
(instance ?S Set)
(result ?DECIDE ?X)
(instance ?X ContentBearingPhysical))
(containsFormula ?X
(holdsDuring
(FutureFn
(WhenFn ?DECIDE))
(exists (?M)
(and
(element ?M ?S)
(instance ?M IntentionalProcess)
(agent ?M ?A)))))) |
Merge.kif 12332-12348 |
If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X |
(=>
(and
(instance ?X BreakingRecord)
(agent ?X ?A1))
(exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(and
(instance ?AC Set)
(element ?A1 ?AC)
(subclass ?PC Process)
(instance ?L Region)
(instance ?TP TimePoint)
(instance ?Q Quantity)
(instance ?P1 ?PC)
(refers ?X ?Q)
(refers ?Q ?P1)
(playsRoleInEvent ?A1 ?ROLE ?P1)
(eventLocated ?P1 ?L)
(not
(exists (?A2 ?P2)
(and
(instance ?A2 ?AC)
(not
(equal ?A2 ?A1))
(instance ?P2 ?PC)
(holdsDuring
(TimeIntervalFn ?TP
(EndFn
(WhenFn ?X)))
(and
(playsRoleInEvent ?A2 ?ROLE ?P2)
(eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 32629-32659 |
If X is an instance of breaking record and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T,, , S (2) R such that Z is an instance of set (3) Y is an element of Z (4) W is a subclass of process (5) S is an instance of region (6) U is an instance of time point (7) R is an instance of quantity (8) V is an instance of W (9) X includes a reference to R (10) R includes a reference to V (11) Y plays role in event T for V (12) V is located at S (13) there don't exist Q (14) P such that Q is an instance of Z (15) equal Q (16) Y (17) P is an instance of W (18) Q plays role in event T for P (19) P is located at S holds during interval between U (20) the end of the time of existence of X |
(=>
(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 |
(=>
(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)
|
