attribute

-------------------------


( ! [V__WORD,V__SYLLABLE] :
   (s__instance(V__SYLLABLE,s__Object) =>
     (s__attribute(V__SYLLABLE,s__Stressed) &
       s__instance(V__WORD,s__Word) &
       s__part(V__SYLLABLE,V__WORD))
   =>
   ~(( ? [V__SYLLABLE2] :
       ((s__instance(V__SYLLABLE2,s__Syllable) &
           s__part(V__SYLLABLE2,V__WORD)
         &
         s__attribute(V__SYLLABLE2,s__Stressed) &
         ~((V__SYLLABLE2 = V__SYLLABLE))))))
)
)

Mid-level-ontology.kif 17224-17234
( ! [V__X,V__Y] :
   ((s__attribute(V__X,V__Y)
     &
     s__instance(V__Y,s__TemperatureAttribute) &
     s__instance(V__X,s__Object))
   =>
   ( ? [V__TEMP] :
     ((s__measure(V__X,V__TEMP)
       &
       s__instance(V__TEMP,s__TemperatureMeasure) &
       s__attribute(V__TEMP,V__Y))))
)
)

Mid-level-ontology.kif 23619-23628
( ! [V__X,V__SELL] :
   (s__instance(V__SELL,s__Process) =>
     (s__attribute(V__X,s__DutyFree) &
       s__instance(V__X,s__Store))
     =>
     ( ! [V__OBJ] :
       ((s__instance(V__SELL,s__Selling) &
           s__patient(V__SELL,V__OBJ)
         &
         s__located(V__SELL,V__X)
       &
       s__instance(V__OBJ,s__Product))
     =>
     s__attribute(V__OBJ,s__DutyFree)))
)
)

Hotel.kif 1427-1438
( ! [V__X] :
   ((s__attribute(V__X,s__Historical) &
       s__instance(V__X,s__City))
     =>
     ( ? [V__EV] :
       ((s__instance(V__EV,s__Physical) &
           s__attribute(V__EV,s__Historical) &
           s__eventLocated(V__EV,V__X))))
   )
)

Mid-level-ontology.kif 24713-24721
( ! [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 1883-1894
( ! [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 1403-1408
No TPTP formula. May not be expressible in strict first order. Merge.kif 12800-12813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18392-18401
( ! [V__AGENT,V__RESERVE] :
   (s__instance(V__AGENT,s__Agent) =>
     (s__fulfillingEntity(V__AGENT,V__RESERVE)
     &
     s__instance(V__RESERVE,s__HotelReservation))
   =>
   s__attribute(V__AGENT,s__TravelerAccommodation) )
)

Hotel.kif 2789-2793
No TPTP formula. May not be expressible in strict first order. Law.kif 524-533
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 101-111
No TPTP formula. May not be expressible in strict first order. Media.kif 1902-1906
No TPTP formula. May not be expressible in strict first order. Media.kif 1890-1894
No TPTP formula. May not be expressible in strict first order. Media.kif 1914-1918
No TPTP formula. May not be expressible in strict first order. Media.kif 1908-1912
No TPTP formula. May not be expressible in strict first order. Media.kif 1896-1900
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3427-3432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19133-19144
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4407-4416
( ! [V__FOOD,V__ACT] :
   (s__instance(V__FOOD,s__Object) =>
     (s__instance(V__ACT,s__Drinking) &
       s__resource(V__ACT,V__FOOD))
   =>
   s__attribute(V__FOOD,s__Liquid) )
)

Merge.kif 9653-9657
( ! [V__FOOD,V__ACT] :
   (s__instance(V__FOOD,s__Object) =>
     (s__instance(V__ACT,s__Eating) &
       s__resource(V__ACT,V__FOOD))
   =>
   s__attribute(V__FOOD,s__Solid) )
)

Merge.kif 9642-9646
( ! [V__AGENT,V__ORG] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__ORG,s__Organization) &
       s__member(V__AGENT,V__ORG))
   =>
   s__attribute(V__AGENT,s__MemberFn(V__ORG))
)
)

Government.kif 1721-1726
( ! [V__AGENT,V__POSITION,V__ORG] :
   ((s__instance(V__AGENT,s__Human) &
       s__instance(V__ORG,s__Organization) &
       s__instance(V__POSITION,s__Position) &
       s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION)))
=>
s__attribute(V__AGENT,s__MemberFn(V__ORG))
)
)

Government.kif 1743-1749
No TPTP formula. May not be expressible in strict first order. Merge.kif 11699-11712
No TPTP formula. May not be expressible in strict first order. Merge.kif 11659-11672

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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