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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PropertyFn
PropertyFn

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


s__documentation(s__PropertyFn__m,s__ChineseLanguage,'"这是个 UnaryFunction,它把一个 Agent 和属于 AgentObject Set 联系起来。"')

chinese_format.kif 2135-2136
s__documentation(s__PropertyFn__m,s__EnglishLanguage,'"A UnaryFunction that maps an Agent to the Set of Objects owned by the Agent."')

Merge.kif 4165-4166
s__domain(s__PropertyFn__m,n__1,s__Agent)

Merge.kif 4162-4162 The number 1 argument of property is an instance of agent
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__PropertyFn__m,s__TotalValuedRelation)

Merge.kif 4161-4161 Property is an instance of total valued relation
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__PropertyFn__m,s__UnaryFunction)

Merge.kif 4160-4160 Property is an instance of unary function
s__range(s__PropertyFn__m,s__Set)

Merge.kif 4163-4163 The range of property is an instance of set

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


s__format(s__ChineseLanguage,s__PropertyFn__m,'"%1 的财产"')

chinese_format.kif 269-269
s__format(s__EnglishLanguage,s__PropertyFn__m,'"belongings of %1"')

english_format.kif 277-277
s__termFormat(s__ChineseLanguage,s__PropertyFn__m,'"属于财产函数"')

chinese_format.kif 270-270
s__termFormat(s__ChineseLanguage,s__PropertyFn__m,'"属性"')

domainEnglishFormat.kif 47793-47793
s__termFormat(s__ChineseTraditionalLanguage,s__PropertyFn__m,'"屬性"')

domainEnglishFormat.kif 47792-47792
s__termFormat(s__EnglishLanguage,s__PropertyFn__m,'"property"')

domainEnglishFormat.kif 47791-47791

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


( ! [V__OBJ,V__PERSON] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__PERSON,s__Agent))
       =>
       (((s__instance(V__OBJ,s__PropertyFn(V__PERSON))
         =>
         s__possesses(V__PERSON,V__OBJ))
     &
     (s__possesses(V__PERSON,V__OBJ)
     =>
     s__instance(V__OBJ,s__PropertyFn(V__PERSON))))))
)
)

Merge.kif 4168-4170 An object is an instance of belongings of an agent if and only if the agent possesses the object
( ! [V__X,V__CASINO] :
   ((s__instance(V__X,s__Agent) =>
       (((s__attribute(V__X,s__TravelerAccommodation) &
             s__element(V__CASINO,s__PropertyFn(V__X))
         &
         s__instance(V__CASINO,s__Casino))
       =>
       (s__attribute(V__X,s__CasinoHotels)))))
)
)

Hotel.kif 1430-1435
( ! [V__ROOM,V__HOTEL] :
   ((s__instance(V__HOTEL,s__Organization) =>
       (((s__element(V__ROOM,s__PropertyFn(V__HOTEL))
         &
         s__attribute(V__ROOM,s__AnnexRoom) &
         s__instance(V__ROOM,s__HotelRoom))
       =>
       (( ? [V__BLDG1, V__BLDG2, V__FRNT] :
           ((s__instance(V__BLDG1,s__Object) &
               s__instance(V__BLDG2,s__Object) &
               (s__subOrganization(V__FRNT,V__HOTEL)
               &
               s__instance(V__FRNT,s__HotelFrontDesk) &
               s__located(V__FRNT,V__BLDG1)
             &
             s__element(V__BLDG1,s__PropertyFn(V__HOTEL))
         &
         s__element(V__BLDG2,s__PropertyFn(V__HOTEL))
     &
     s__part(V__ROOM,V__BLDG2)
   &
   ~((V__BLDG1 = V__BLDG2))))))))))
)
)

Hotel.kif 1105-1118
( ! [V__HOTEL,V__X] :
   ((s__instance(V__HOTEL,s__Agent) =>
       (((s__element(V__X,s__PropertyFn(V__HOTEL))
         &
         s__instance(V__X,s__RoomInventory))
       =>
       (( ! [V__Y] :
           ((s__instance(V__Y,s__Physical) =>
               ((s__member(V__Y,V__X)
                 =>
                 (s__element(V__Y,s__PropertyFn(V__HOTEL))))))))))))
)
)

Hotel.kif 142-149
( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 820-841
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__OBJ,s__Class) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((s__freeRoomAmenity(V__ROOM,V__OBJ)
           &
           s__subclass(V__OBJ,s__Object) &
           s__instance(V__R,V__ROOM)
         &
         s__stays(V__GUEST,V__R)
       &
       s__element(V__R,s__PropertyFn(V__HOTEL))
   &
   s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
(s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL)))))
)
)

Hotel.kif 334-349
( ! [V__P,V__R,V__ROOM,V__S,V__PROC,V__GUEST,V__HOTEL] :
   (((s__instance(V__P,s__Process) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__S,s__Process) &
         s__instance(V__PROC,s__Class) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((s__freeRoomAmenity(V__ROOM,V__PROC)
           &
           s__subclass(V__PROC,s__Process) &
           s__instance(V__R,V__ROOM)
         &
         s__stays(V__GUEST,V__R)
       &
       s__element(V__R,s__PropertyFn(V__HOTEL))
   &
   s__patient(V__P,V__GUEST)
&
(s__instance(V__P,V__PROC)
|
(s__instance(V__S,V__PROC)
&
s__subProcess(V__P,V__S)))
&
s__located(V__P,V__R))
=>
(s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL)))))
)
)

Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1671-1679
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1877-1889
No TPTP formula. May not be expressible in strict first order. Hotel.kif 459-470
( ! [V__AGENT,V__R,V__CUST,V__PRICE,V__U,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__paidFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
((s__price(V__X,s__MeasureFn(V__PRICE,V__U)
,V__AGENT)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))
)
)

Hotel.kif 850-875

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


( ! [V__AMOUNT,V__PERSON] :
   (((s__instance(V__AMOUNT,s__CurrencyMeasure) &
         s__instance(V__PERSON,s__Agent))
       =>
       ((((s__WealthFn(V__PERSON)
             = V__AMOUNT)
           =>
           s__monetaryValue(s__PropertyFn(V__PERSON)
        ,V__AMOUNT))
     &
     (s__monetaryValue(s__PropertyFn(V__PERSON)
    ,V__AMOUNT)
   =>
   (s__WealthFn(V__PERSON)
   = V__AMOUNT)))))
)
)

Merge.kif 7579-7581 Value of belongings of an agent is equal to a currency measure if and only if value of belongings of the agent is the currency measure
( ! [V__AGENT,V__ACT] :
   (((s__instance(V__AGENT,s__Agent) &
         s__subclass(V__ACT,s__Process))
       =>
       ((s__activityCapability(V__AGENT,V__ACT)
         =>
         (( ? [V__LOC] :
             ((s__instance(V__LOC,s__Object) &
                 (s__element(V__LOC,s__PropertyFn(V__AGENT))
               &
               s__capability(V__ACT,s__located__m,V__LOC)))))))))
)
)

Hotel.kif 578-583
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       (((s__attribute(V__X,s__TravelerAccommodation) &
             s__capability(s__RoomCleaningService,s__agent__m,V__X))
         =>
         (( ? [V__MAID, V__HOTELROOM] :
             ((s__instance(V__MAID,s__CognitiveAgent) &
                 (s__employs(V__X,V__MAID)
                 &
                 s__attribute(V__MAID,s__Maid) &
                 s__instance(V__HOTELROOM,s__HotelUnit) &
                 s__part(V__HOTELROOM,s__PropertyFn(V__X))
             &
             s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
           &
           s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID)))))))))
)
)

Hotel.kif 1910-1921
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
( ! [V__ROOM,V__HOTEL] :
   ((s__instance(V__HOTEL,s__Organization) =>
       (((s__element(V__ROOM,s__PropertyFn(V__HOTEL))
         &
         s__attribute(V__ROOM,s__AnnexRoom) &
         s__instance(V__ROOM,s__HotelRoom))
       =>
       (( ? [V__BLDG1, V__BLDG2, V__FRNT] :
           ((s__instance(V__BLDG1,s__Object) &
               s__instance(V__BLDG2,s__Object) &
               (s__subOrganization(V__FRNT,V__HOTEL)
               &
               s__instance(V__FRNT,s__HotelFrontDesk) &
               s__located(V__FRNT,V__BLDG1)
             &
             s__element(V__BLDG1,s__PropertyFn(V__HOTEL))
         &
         s__element(V__BLDG2,s__PropertyFn(V__HOTEL))
     &
     s__part(V__ROOM,V__BLDG2)
   &
   ~((V__BLDG1 = V__BLDG2))))))))))
)
)

Hotel.kif 1105-1118
( ! [V__HOTEL,V__X] :
   ((s__instance(V__HOTEL,s__Agent) =>
       (((s__element(V__X,s__PropertyFn(V__HOTEL))
         &
         s__instance(V__X,s__RoomInventory))
       =>
       (( ! [V__Y] :
           ((s__instance(V__Y,s__Physical) =>
               ((s__member(V__Y,V__X)
                 =>
                 (s__element(V__Y,s__PropertyFn(V__HOTEL))))))))))))
)
)

Hotel.kif 142-149
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__PRICE,V__U,V__GUEST,V__HOTEL] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__P,s__Process) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__OBJ,s__Class) &
         s__instance(V__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((s__paidRoomAmenity(V__ROOM,V__OBJ)
           &
           s__subclass(V__OBJ,s__Object))
         =>
         (((s__instance(V__R,V__ROOM)
             &
             s__stays(V__GUEST,V__R)
           &
           s__element(V__R,s__PropertyFn(V__HOTEL))
       &
       s__instance(V__O,V__OBJ)
     &
     s__located(V__O,V__R)
   &
   s__instance(V__P,s__Process) &
   s__agent(V__P,V__GUEST)
&
(s__located(V__P,V__O)
|
s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
((s__price(V__P,s__MeasureFn(V__PRICE,V__U)
,V__HOTEL)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))))
)
)

Hotel.kif 374-396
( ! [V__P,V__R,V__ROOM,V__S,V__PRICE,V__U,V__PROC,V__GUEST,V__HOTEL] :
   (((s__instance(V__P,s__Process) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__S,s__Process) &
         s__instance(V__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__PROC,s__Class) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((s__paidRoomAmenity(V__ROOM,V__PROC)
           &
           s__subclass(V__PROC,s__Process))
         =>
         (((s__instance(V__R,V__ROOM)
             &
             s__stays(V__GUEST,V__R)
           &
           s__element(V__R,s__PropertyFn(V__HOTEL))
       &
       s__patient(V__P,V__GUEST)
     &
     (s__instance(V__P,V__PROC)
     |
     (s__instance(V__S,V__PROC)
     &
     s__subProcess(V__P,V__S)))
&
s__located(V__P,V__R))
=>
((s__price(V__P,s__MeasureFn(V__PRICE,V__U)
,V__HOTEL)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))))
)
)

Hotel.kif 398-418
No TPTP formula. May not be expressible in strict first order. Hotel.kif 45-52
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       ((s__attribute(V__X,s__WaterThemePark) =>
           (( ? [V__POOL] :
               ((s__instance(V__POOL,s__SwimmingPool) &
                   s__element(V__POOL,s__PropertyFn(V__X)))))))))
)
)

naics.kif 11444-11449
( ! [V__ROOM] :
   ((s__instance(V__ROOM,s__HotelUnit) =>
       (( ? [V__HOTEL] :
           ((s__instance(V__HOTEL,s__Agent) &
               (s__attribute(V__HOTEL,s__TravelerAccommodation) &
                 s__element(V__ROOM,s__PropertyFn(V__HOTEL))))))))
)
)

Hotel.kif 98-103
No TPTP formula. May not be expressible in strict first order. Hotel.kif 105-112
( ! [V__X] :
   ((s__instance(V__X,s__HotelFunctionRoom) =>
       (( ? [V__HOTEL] :
           ((s__instance(V__HOTEL,s__Agent) &
               s__element(V__X,s__PropertyFn(V__HOTEL)))))))
)
)

Hotel.kif 1666-1669
( ! [V__AGENT,V__POLICY] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLICY,s__Policy))
       =>
       ((s__propertyPolicy(V__AGENT,V__POLICY)
         =>
         (( ! [V__X] :
             ((s__instance(V__X,s__Object) =>
                 ((s__element(V__X,s__PropertyFn(V__AGENT))
                 =>
                 (s__policyLocationCoverage(V__POLICY,V__X)))))))))))
)
)

Hotel.kif 594-599
( ! [V__X] :
   (((s__instance(V__X,s__Class) &
         s__subclass(V__X,s__HotelUnit))
       =>
       ((s__roomAmenity(V__X,s__HotelMiniBar) =>
           (( ? [V__ROOM, V__BAR, V__HOTEL] :
               ((s__instance(V__ROOM,s__Object) &
                   s__instance(V__HOTEL,s__Agent) &
                   (s__instance(V__ROOM,V__X)
                   &
                   s__element(V__ROOM,s__PropertyFn(V__HOTEL))
               &
               s__instance(V__BAR,s__HotelMiniBar) &
               s__located(V__BAR,V__ROOM)
             &
             ( ! [V__ITEM] :
               ((s__instance(V__ITEM,s__Physical) =>
                   ((s__member(V__ITEM,V__BAR)
                     =>
                     (( ? [V__AMT] :
                         ((s__instance(V__AMT,s__CurrencyMeasure) &
                             s__price(V__ITEM,V__AMT,V__HOTEL))))))))))))))))))
)
)

Hotel.kif 1702-1714


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 is open source software produced by Articulate Software and its partners