Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PropertyFn
PropertyFn

appearance as argument number 1
-------------------------


(instance PropertyFn UnaryFunction) Merge.kif 4386-4386 Property is an instance of unary function
(instance PropertyFn TotalValuedRelation) Merge.kif 4387-4387 Property is an instance of total valued relation
(domain PropertyFn 1 AutonomousAgent) Merge.kif 4388-4388 The number 1 argument of property is an instance of agent
(range PropertyFn Set) Merge.kif 4389-4389 The range of property is an instance of set
(documentation PropertyFn EnglishLanguage "A UnaryFunction that maps an AutonomousAgent to the Set of Objects owned by the AutonomousAgent.") Merge.kif 4391-4392 The range of property is an instance of set

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage PropertyFn "property") domainEnglishFormat.kif 47803-47803
(termFormat ChineseTraditionalLanguage PropertyFn "屬性") domainEnglishFormat.kif 47804-47804
(termFormat ChineseLanguage PropertyFn "属性") domainEnglishFormat.kif 47805-47805
(format EnglishLanguage PropertyFn "belongings of %1") english_format.kif 274-274

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners