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。')

Merge.kif 5478-5479
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 5475-5477
s__domain(s__element__m,1,s__Entity)

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

Merge.kif 5474-5474 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 5471-5471 element is an instance of asymmetric relation
s__instance(s__element__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

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

Merge.kif 5472-5472 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 296-296
s__format(s__FrenchLanguage,s__element__m,'%1 est %n un �lement de %2')

french_format.kif 285-285
s__format(s__ItalianLanguage,s__element__m,'%� %n un elemento di %2')

relations-it.txt 90-90
s__format(s__PortugueseLanguage,s__element__m,'%1 e %n um elemento de %2')

portuguese_format.kif 237-237
s__format(s__ar__m,s__element__m,'%1 هو %n عُنْصُر من %2')

arabic_format.kif 213-213
s__format(s__cz__m,s__element__m,'%1 %p{je} %n{nen�} an element of %2')

relations-cz.txt 291-291
s__format(s__de__m,s__element__m,'%1 ist ein element von %2 %n{nicht}')

relations-de.txt 633-633
s__format(s__hi__m,s__element__m,'%1 %2 kaa ghaTaka %n hai')

relations-hindi.txt 130-130
s__format(s__tg__m,s__element__m,'%1 %n ay ang elemento sa %2')

relations-tg.txt 195-195
s__relatedInternalConcept(s__member__m,s__element__m)

Merge.kif 1299-1299 member is internally related to element
s__termFormat(s__ChineseLanguage,s__element__m,'元素')

chinese_format.kif 489-489 "元素" is the printable form of element in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__element__m,'element')

domainEnglishFormat.kif 4054-4054 "element" is the printable form of element in english language
s__termFormat(s__ar__m,s__element__m,'«عُنْصُر من»')

arabic_format.kif 663-663 "«عُنْصُر من»" is the printable form of element in ar
s__termFormat(s__tg__m,s__element__m,'elemento')

relations-tg.txt 196-196 "elemento" is the printable form of element in tg

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


( ! [V__X,V__CASINO] :
   ((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 1399-1404
( ! [V__ROOM,V__HOTEL] :
   ((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__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 1080-1093
( ! [V__X,V__HOTEL] :
   ((s__element(V__X,s__PropertyFn(V__HOTEL))
   &
   s__instance(V__X,s__RoomInventory))
=>
(! [V__Y] :
   (s__member(V__Y,V__X)
   =>
   s__element(V__Y,s__PropertyFn(V__HOTEL)))))
)

Hotel.kif 142-149
( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X] :
   ((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(0,s__UnitedStatesDollar),V__AGENT))
)

Hotel.kif 810-831
( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] :
   ((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(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 333-348
( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] :
   ((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__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(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 350-363
( ! [V__FR,V__PHY,V__RM,V__HOTEL,V__RENT,V__CUST] :
   ((s__functionRoomAmenity(V__FR,V__PHY)
     &
     s__instance(V__RM,V__FR)
   &
   s__element(V__RM,s__PropertyFn(V__HOTEL))
&
s__instance(V__RENT,s__Renting) &
s__patient(V__RENT,V__RM)
&
s__agent(V__RENT,V__HOTEL)
&
s__destination(V__RENT,V__CUST)
&
s__subclass(V__PHY,s__Object))
=>
s__modalAttribute('(? [V__O,V__P] : (s__instance(V__O,V__PHY) & s__instance(V__P,s__Process) & (s__resource(V__P,V__O) | s__instrument(V__P,V__O) | s__patient(V__P,V__O)) & (s__agent(V__P,V__CUST) | s__experiencer(V__P,V__CUST))))',s__Possibility))
)

Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
( ! [V__X,V__HOTEL] :
   ((s__instance(V__X,s__HotelFunctionRoom) &
       s__element(V__X,s__PropertyFn(V__HOTEL)))
=>
s__hasPurpose(V__X,'(? [V__RENT] : (s__instance(V__RENT,s__Renting) & s__patient(V__RENT,V__X)))'))
)

Hotel.kif 1640-1648
( ! [V__X,V__HOTEL,V__NANNY] :
   ((s__instance(V__X,s__Nursery) &
       s__element(V__X,s__PropertyFn(V__HOTEL))
   &
   s__attribute(V__HOTEL,s__TravelerAccommodation))
=>
(s__attribute(V__X,s__CommunalAttribute) &
   s__employs(V__HOTEL,V__NANNY)
&
s__hasPurpose(V__NANNY,'(? [V__CARE] : (s__instance(V__CARE,s__ChildCareService) & s__serviceProvider(V__CARE,V__NANNY)))')))
)

Hotel.kif 1846-1858
( ! [V__ROOM,V__NUM,V__X,V__AGENT,V__PPL] :
   ((s__maxRoomCapacity(V__ROOM,V__NUM)
     &
     s__instance(V__X,V__ROOM)
   &
   s__element(V__X,s__PropertyFn(V__AGENT)))
=>
s__modalAttribute('(? [V__GRP] : (s__instance(V__GRP,s__GroupOfPeople) & s__memberCount(V__GRP,V__PPL) & lesseq(V__PPL,V__NUM) & s__stays(V__GRP,V__X)))',s__Possibility))
)

Hotel.kif 452-463
( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X,V__PRICE] :
   ((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,V__PRICE,V__AGENT)
&
greater(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar))))
)

Hotel.kif 840-863
( ! [V__SET1,V__SET2] :
   ((! [V__ELEMENT] :
       (s__element(V__ELEMENT,V__SET1)
       <=>
       s__element(V__ELEMENT,V__SET2)))
=>
(V__SET1 = V__SET2))
)

Merge.kif 5481-5486
  • If for all ?ELEMENT ?ELEMENT is an element of ?SET1 if and only if ?ELEMENT is an element of ?SET2,
  • then ?SET1 is equal to ?SET2

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


( ! [V__AGENT,V__ACT] :
   (s__activityCapability(V__AGENT,V__ACT)
   =>
   (? [V__LOC] :
     (s__element(V__LOC,s__PropertyFn(V__AGENT))
   &
   s__capability(V__ACT,s__located__m,V__LOC))))
)

Hotel.kif 568-573
( ! [V__CUST,V__AGENT,V__PHYS,V__HOTEL,V__PROC,V__PHY] :
   ((s__customer(V__CUST,V__AGENT)
     &
     s__propertyAmenity(V__AGENT,V__PHYS)
   &
   s__subclass(V__PHYS,s__Process))
=>
s__modalAttribute('(? [V__S,V__LOC] : (s__element(V__LOC,s__PropertyFn(V__AGENT)) & s__agent(V__S,V__HOTEL) & (s__instance(V__S,V__PHYS) | (s__instance(V__PROC,V__PHY) & s__subProcess(V__S,V__PROC))) & s__located(V__S,V__LOC)))',s__Possibility))
)

Hotel.kif 495-510
( ! [V__ROOM,V__HOTEL] :
   ((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__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 1080-1093
( ! [V__X,V__HOTEL] :
   ((s__element(V__X,s__PropertyFn(V__HOTEL))
   &
   s__instance(V__X,s__RoomInventory))
=>
(! [V__Y] :
   (s__member(V__Y,V__X)
   =>
   s__element(V__Y,s__PropertyFn(V__HOTEL)))))
)

Hotel.kif 142-149
( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P,V__PRICE] :
   ((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,V__PRICE,V__HOTEL)
&
greater(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar)))))
)

Hotel.kif 372-392
( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S,V__PRICE] :
   ((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__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,V__PRICE,V__HOTEL)
&
greater(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar)))))
)

Hotel.kif 394-411
( ! [V__X,V__TI] :
   (s__attribute(V__X,s__TravelerAccommodation) =>
     s__hasPurpose(V__X,'(? [V__GUEST,V__ROOM] : (s__rents(V__GUEST,V__X,V__ROOM,V__TI) & s__instance(V__ROOM,s__HotelUnit) & s__element(V__ROOM,s__PropertyFn(V__X))))'))
)

Hotel.kif 45-52
( ! [V__X] :
   (s__attribute(V__X,s__WaterThemePark) =>
     (? [V__POOL] :
       (s__instance(V__POOL,s__SwimmingPool) &
         s__element(V__POOL,s__PropertyFn(V__X)))))
)

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

Hotel.kif 98-103
( ! [V__ROOM] :
   (s__instance(V__ROOM,s__HotelUnit) =>
     s__hasPurpose(V__ROOM,'(? [V__AGENT,V__CUST,V__TI] : ((~ (V__AGENT = V__CUST)) & s__element(V__ROOM,s__PropertyFn(V__AGENT)) & s__rents(V__CUST,V__AGENT,V__ROOM,V__TI)))'))
)

Hotel.kif 105-112
( ! [V__X] :
   (s__instance(V__X,s__HotelFunctionRoom) =>
     (? [V__HOTEL] :
       s__element(V__X,s__PropertyFn(V__HOTEL))))
)

Hotel.kif 1635-1638
( ! [V__AGENT,V__POLICY] :
   (s__propertyPolicy(V__AGENT,V__POLICY)
   =>
   (! [V__X] :
     (s__element(V__X,s__PropertyFn(V__AGENT))
   =>
   s__policyLocationCoverage(V__POLICY,V__X))))
)

Hotel.kif 584-589
( ! [V__X] :
   (s__roomAmenity(V__X,s__HotelMiniBar) =>
     (? [V__ROOM,V__BAR,V__HOTEL] :
       (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__member(V__ITEM,V__BAR)
   =>
   (? [V__AMT] :
     s__price(V__ITEM,V__AMT,V__HOTEL)))))))
)

Hotel.kif 1671-1683
( ! [V__SUBSET,V__SET] :
   (s__subset(V__SUBSET,V__SET)
   =>
   (! [V__ELEMENT] :
     (s__element(V__ELEMENT,V__SUBSET)
     =>
     s__element(V__ELEMENT,V__SET))))
)

Merge.kif 5463-5468
  • If ?SUBSET is a subset of ?SET,
  • then for all ?ELEMENT
    • if ?ELEMENT is an element of ?SUBSET,
    • then ?ELEMENT is an element of ?SET


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners