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 22244-22248
(instance Maid ServicePosition) Mid-level-ontology.kif 22242-22242 Maid is an instance of service position

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


(termFormat ChineseLanguage Maid "女佣") domainEnglishFormat.kif 35660-35660
(termFormat ChineseTraditionalLanguage Maid "女傭") domainEnglishFormat.kif 35659-35659
(termFormat EnglishLanguage Maid "maid") domainEnglishFormat.kif 35658-35658

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


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

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 1946-1957
(=>
    (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 1934-1944


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