Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PropertyFn

Sigma KEE - PropertyFn
PropertyFn

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


(documentation PropertyFn ChineseLanguage "这是个 UnaryFunction,它把一个 Agent 和属于 AgentObject Set 联系起来。") Merge.kif 4400-4401
(documentation PropertyFn EnglishLanguage "A UnaryFunction that maps an Agent to the Set of Objects owned by the Agent.") Merge.kif 4398-4399
(domain PropertyFn 1 Agent) Merge.kif 4396-4396
(instance PropertyFn TotalValuedRelation) Merge.kif 4395-4395
(instance PropertyFn UnaryFunction) Merge.kif 4394-4394
(range PropertyFn Set) Merge.kif 4397-4397

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


(format ChineseLanguage PropertyFn "%1 的财产") chinese_format.kif 269-269
(format EnglishLanguage PropertyFn "belongings of %1") english_format.kif 163-163
(termFormat ChineseLanguage PropertyFn "属于财产函数") chinese_format.kif 270-270
(termFormat EnglishLanguage PropertyFn "property") domainEnglishFormat.kif 8391-8391

antecedent
-------------------------


(<=>
    (instance ?OBJ
        (PropertyFn ?PERSON))
    (possesses ?PERSON ?OBJ))
Merge.kif 4403-4405
(=>
    (and
        (attribute ?X TravelerAccommodation)
        (element ?CASINO
            (PropertyFn ?X))
        (instance ?CASINO Casino))
    (attribute ?X CasinoHotels))
Hotel.kif 1399-1404
(=>
    (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 1080-1093
(=>
    (and
        (element ?X
            (PropertyFn ?HOTEL))
        (instance ?X RoomInventory))
    (forall (?Y)
        (=>
            (member ?Y ?X)
            (element ?Y
                (PropertyFn ?HOTEL)))))
Hotel.kif 142-149
(=>
    (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 ?CUST ?X))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 810-831
(=>
    (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 ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))
Hotel.kif 333-348
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))
Hotel.kif 350-363
(=>
    (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 780-801
(=>
    (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
                (exists (?PROC)
                    (and
                        (agent ?PROC ?CUST)
                        (or
                            (instrument ?PROC ?O)
                            (patient ?PROC ?O)
                            (resource ?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 289-308
(=>
    (and
        (instance ?X HotelFunctionRoom)
        (element ?X
            (PropertyFn ?HOTEL)))
    (hasPurpose ?X
        (exists (?RENT)
            (and
                (instance ?RENT Renting)
                (patient ?RENT ?X)))))
Hotel.kif 1640-1648
(=>
    (and
        (instance ?X Nursery)
        (element ?X
            (PropertyFn ?HOTEL))
        (attribute ?HOTEL TravelerAccommodation))
    (and
        (attribute ?X CommunalAttribute)
        (employs ?HOTEL ?NANNY)
        (hasPurpose ?NANNY
            (exists (?CARE)
                (and
                    (instance ?CARE ChildCareService)
                    (serviceProvider ?CARE ?NANNY))))))
Hotel.kif 1846-1858
(=>
    (and
        (maxRoomCapacity ?ROOM ?NUM)
        (instance ?X ?ROOM)
        (element ?X
            (PropertyFn ?AGENT)))
    (modalAttribute
        (exists (?GRP)
            (and
                (instance ?GRP GroupOfPeople)
                (memberCount ?GRP ?PPL)
                (lessThanOrEqualTo ?PPL ?NUM)
                (stays ?GRP ?X))) Possibility))
Hotel.kif 452-463
(=>
    (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 ?CUST ?X))))
    (and
        (price ?X ?PRICE ?AGENT)
        (greaterThan ?PRICE
            (MeasureFn 0 UnitedStatesDollar))))
Hotel.kif 840-863

consequent
-------------------------


(<=>
    (equal
        (WealthFn ?PERSON) ?AMOUNT)
    (monetaryValue
        (PropertyFn ?PERSON) ?AMOUNT))
Merge.kif 8011-8013
(=>
    (activityCapability ?AGENT ?ACT)
    (exists (?LOC)
        (and
            (element ?LOC
                (PropertyFn ?AGENT))
            (capability ?ACT located ?LOC))))
Hotel.kif 568-573
(=>
    (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 1879-1890
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?HOTEL)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHY)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))
Hotel.kif 495-510
(=>
    (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 1080-1093
(=>
    (and
        (element ?X
            (PropertyFn ?HOTEL))
        (instance ?X RoomInventory))
    (forall (?Y)
        (=>
            (member ?Y ?X)
            (element ?Y
                (PropertyFn ?HOTEL)))))
Hotel.kif 142-149
(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (=>
        (and
            (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 ?O)
                (patient ?P ?O)
                (instrument ?P ?O)
                (resource ?P ?O)))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))
Hotel.kif 372-392
(=>
    (and
        (paidRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (or
                (instance ?P ?PROC)
                (and
                    (instance ?S ?PROC)
                    (subProcess ?P ?S)))
            (located ?P ?R))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))
Hotel.kif 394-411
(=>
    (attribute ?X TravelerAccommodation)
    (hasPurpose ?X
        (exists (?GUEST ?ROOM)
            (and
                (rents ?GUEST ?X ?ROOM ?TI)
                (instance ?ROOM HotelUnit)
                (element ?ROOM
                    (PropertyFn ?X))))))
Hotel.kif 45-52
(=>
    (attribute ?X WaterThemePark)
    (exists (?POOL)
        (and
            (instance ?POOL SwimmingPool)
            (element ?POOL
                (PropertyFn ?X)))))
naics.kif 11362-11367
(=>
    (instance ?ROOM HotelUnit)
    (exists (?HOTEL)
        (and
            (attribute ?HOTEL TravelerAccommodation)
            (element ?ROOM
                (PropertyFn ?HOTEL)))))
Hotel.kif 98-103
(=>
    (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 105-112
(=>
    (instance ?X HotelFunctionRoom)
    (exists (?HOTEL)
        (element ?X
            (PropertyFn ?HOTEL))))
Hotel.kif 1635-1638
(=>
    (propertyPolicy ?AGENT ?POLICY)
    (forall (?X)
        (=>
            (element ?X
                (PropertyFn ?AGENT))
            (policyLocationCoverage ?POLICY ?X))))
Hotel.kif 584-589
(=>
    (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 1671-1683


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners