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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - element
element

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


s__documentation(s__element__m,s__ChineseLanguage,'"(element ?ENTITY ?SET)是真的,以防 Set ?SET 已包含 了这个 ?ENTITY。一个 Entity 可以是另外一个 Entityelement 当且仅当后者是一个 Set。"')

chinese_format.kif 2289-2290
s__documentation(s__element__m,s__EnglishLanguage,'"(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set."')

Merge.kif 5179-5181
s__domain(s__element__m,n__1,s__Entity)

Merge.kif 5176-5176 The number 1 argument of element is an instance of entity
s__domain(s__element__m,n__2,s__Set)

Merge.kif 5177-5177 The number 2 argument of element is an instance of set
s__instance(s__element__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 5174-5174 element is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__element__m,s__BinaryPredicate)

Merge.kif 5173-5173 element is an instance of binary predicate
s__subrelation(s__element__m,s__instance__m)

Merge.kif 5175-5175 element is a subrelation of instance

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


s__format(s__ChineseLanguage,s__element__m,'"%1 %n 是 %2 的 element"')

chinese_format.kif 488-488
s__format(s__EnglishLanguage,s__element__m,'"%1 is %n an element of %2"')

english_format.kif 496-496
s__relatedInternalConcept(s__member__m,s__element__m)

Merge.kif 1180-1180 member is internally related to element
s__termFormat(s__ChineseLanguage,s__element__m,'"元件"')

domainEnglishFormat.kif 21789-21789
s__termFormat(s__ChineseLanguage,s__element__m,'"元素"')

chinese_format.kif 489-489
s__termFormat(s__ChineseTraditionalLanguage,s__element__m,'"元件"')

domainEnglishFormat.kif 21788-21788
s__termFormat(s__EnglishLanguage,s__element__m,'"element"')

domainEnglishFormat.kif 21787-21787

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


( ! [V__SET1,V__SET2,V__ELEMENT] :
   (((s__instance(V__SET1,s__Set) &
         s__instance(V__SET2,s__Set))
       =>
       ((((s__element(V__ELEMENT,V__SET1)
             =>
             s__element(V__ELEMENT,V__SET2))
         &
         (s__element(V__ELEMENT,V__SET2)
         =>
         s__element(V__ELEMENT,V__SET1)))
   =>
   ((V__SET1 = V__SET2)))))
)
)

Merge.kif 5183-5187
( ! [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 1417-1422
( ! [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 1092-1105
( ! [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 1658-1666
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1864-1876
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__SUBSET,V__SET] :
   (((s__instance(V__SUBSET,s__Set) &
         s__instance(V__SET,s__Set))
       =>
       (((s__subset(V__SUBSET,V__SET)
           =>
           ( ! [V__ELEMENT] :
             ((s__element(V__ELEMENT,V__SUBSET)
               =>
               (s__element(V__ELEMENT,V__SET))))))
     &
     (( ! [V__ELEMENT] :
         ((s__element(V__ELEMENT,V__SUBSET)
           =>
           (s__element(V__ELEMENT,V__SET)))))
   =>
   s__subset(V__SUBSET,V__SET)))))
)
)

Merge.kif 5166-5171 A set is a subset of another set if and only if for all an entity
( ! [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
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 1092-1105
( ! [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__SET] :
   ((s__instance(V__SET,s__NonNullSet) =>
       (( ? [V__INST] :
           (s__element(V__INST,V__SET)))))
   )
)

Merge.kif 5294-5297
( ! [V__SET] :
   ((s__instance(V__SET,s__NullSet) =>
       (~(( ? [V__INST] :
             (s__element(V__INST,V__SET))))))
   )
)

Merge.kif 5282-5286
( ! [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 1653-1656
( ! [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 1689-1701


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