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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Maid
Maid(maid)amah, chambermaid, char, charwoman, cleaning_lady, cleaning_woman, fille_de_chambre, handmaid, handmaiden, housekeeper, housemaid, lady's_maid, maid, maidservant, parlormaid, parlourmaid, woman

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 18311-18315
(instance Maid ServicePosition) Mid-level-ontology.kif 18309-18309 Maid is an instance of service position

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


(termFormat ChineseLanguage Maid "女佣") domainEnglishFormat.kif 35566-35566
(termFormat ChineseTraditionalLanguage Maid "女傭") domainEnglishFormat.kif 35565-35565
(termFormat EnglishLanguage Maid "maid") domainEnglishFormat.kif 35564-35564

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


(=>
    (holdsDuring ?T1
        (attribute ?MAID Maid))
    (exists (?SERVE)
        (and
            (during
                (WhenFn ?SERVE) ?T1)
            (instance ?SERVE Serving)
            (agent ?SERVE ?MAID))))
Mid-level-ontology.kif 18317-18323

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 1883-1894
(=>
    (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 1871-1881


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