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 18338-18342
(instance Maid ServicePosition)	Mid-level-ontology.kif 18336-18336	instance Maid and ServicePosition

appearance as argument number 2

(termFormat ChineseLanguage Maid "女佣")	domainEnglishFormat.kif 35545-35545
(termFormat ChineseTraditionalLanguage Maid "女傭")	domainEnglishFormat.kif 35544-35544
(termFormat EnglishLanguage Maid "maid")	domainEnglishFormat.kif 35543-35543

antecedent

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

Mid-level-ontology.kif 18344-18350

holdsDuring TimeInterval and attribute Agent and Maid
Process during WhenFn Process and TimeInterval instance Process and Serving agent Process and 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 1883-1894	attribute Agent and TravelerAccommodation capability RoomCleaningService, agent and Agent CognitiveAgent Object employs Agent and CognitiveAgent attribute CognitiveAgent and Maid instance Object and HotelUnit part Object and PropertyFn Agent capability RoomCleaningService, patient and Object capability RoomCleaningService, serviceProvider and CognitiveAgent
(=> (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	instance ServiceProcess and RoomCleaningService CognitiveAgent Object and Process attribute CognitiveAgent and Maid serviceProvider ServiceProcess and CognitiveAgent located ServiceProcess and Object subProcess Process and ServiceProcess instance Process and Cleaning patient Process and Object agent Process and CognitiveAgent

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: