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 17032-17036
(instance Maid ServicePosition) Mid-level-ontology.kif 17030-17030 Maid is an instance of service position

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


(termFormat ChineseLanguage Maid "女佣") domainEnglishFormat.kif 35634-35634
(termFormat ChineseTraditionalLanguage Maid "女傭") domainEnglishFormat.kif 35633-35633
(termFormat EnglishLanguage Maid "maid") domainEnglishFormat.kif 35632-35632

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


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

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 1897-1908
(=>
    (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 1885-1895


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