Maid - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Maid EnglishLanguage "This Attribute describes a Woman who works in a ServicePosition that entails performing various domestic tasks (cleaning, cooking, child care) for an individual or family over an extended period of time, typically months or years.")	Mid-level-ontology.kif 18284-18288
(instance Maid ServicePosition)	Mid-level-ontology.kif 18282-18282	Maid 是 ServicePosition 的 instance

appearance as argument number 2

(termFormat EnglishLanguage Maid "maid")

domainEnglishFormat.kif 6360-6360

termFormat EnglishLanguage, Maid and "maid"

antecedent

(=>
    (holdsDuring ?T1
        (attribute ?MAID Maid))
    (exists (?SERVE)
        (and
            (during
                (WhenFn ?SERVE) ?T1)
            (instance ?SERVE Serving)
            (agent ?SERVE ?MAID))))

Mid-level-ontology.kif 18290-18296

如果 Maid 是施事体的 attribute 在时距 holdsDuring，
然后有存在过程这样那个过程出现的 time 在那个时距时段内发生和那个过程是 Serving 的 instance 和那个施事体是那个过程的 agent

consequent

(=> (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	如果 TravelerAccommodation 是施事体的 attribute 和那个施事体能够担当主事的角色做 RoomCleaningService，然后有存在有认知的主事和客体这样那个施事体 employs 那个有认知的主事和 Maid 是那个有认知的主事的 attribute 和那个客体是 HotelUnit 的 instance 和那个客体是那个施事体的财产的 part 和那个客体能够担当受事的角色做 RoomCleaningService 和那个有认知的主事能够担当服务供应者的角色做 RoomCleaningService
(=> (instance ?X RoomCleaningService) (exists (?MAID ?PLACE ?CLEAN) (and (attribute ?MAID Maid) (serviceProvider ?X ?MAID) (located ?X ?PLACE) (subProcess ?CLEAN ?X) (instance ?CLEAN Cleaning) (patient ?CLEAN ?PLACE) (agent ?CLEAN ?MAID))))	Hotel.kif 1867-1877	如果 ServiceProcess 是 RoomCleaningService 的 instance，然后有存在有认知的主事，客体， and 和过程这样 Maid 是那个有认知的主事的 attribute 和那个有认知的主事在那个 ServiceProcess 中提供服务和那个 ServiceProcess 是 located 在那个客体和那个过程%n是那个 ServiceProcess的subProcess 和那个过程是 Cleaning 的 instance 和那个客体是那个过程的 patient 和那个有认知的主事是那个过程的 agent

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

KB Term:			Term intersection

English Word: