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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Maid
Maid

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 18189-18193
(instance Maid ServicePosition) Mid-level-ontology.kif 18187-18187 instance Maid and ServicePosition

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


(termFormat ChineseLanguage Maid "女佣") domainEnglishFormat.kif 35563-35563 termFormat ChineseLanguage, Maid and "女佣"
(termFormat ChineseTraditionalLanguage Maid "女傭") domainEnglishFormat.kif 35562-35562 termFormat ChineseTraditionalLanguage, Maid and "女傭"
(termFormat EnglishLanguage Maid "maid") domainEnglishFormat.kif 35561-35561 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 18195-18201

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners