Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ChildCareService

 Sigma KEE - ChildCareService
ChildCareService(child-care service)baby_sitting, babysitting

appearance as argument number 1
-------------------------


(subclass ChildCareService Maintaining) Hotel.kif 1882-1882 Child-care service is a subclass of maintaining
(subclass ChildCareService ServiceProcess) Hotel.kif 1883-1883 Child-care service is a subclass of service
(documentation ChildCareService EnglishLanguage "ChildCareService refers to an agent looking after children and babies") Hotel.kif 1884-1885 Child-care service is a subclass of service

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


(termFormat EnglishLanguage ChildCareService "child-care service") Hotel.kif 1886-1886

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


(=>
    (instance ?SVC ChildCareService)
    (exists (?CHILD ?SITTER)
        (and
            (or
                (instance ?CHILD HumanChild)
                (instance ?CHILD HumanBaby))
            (serviceProvider ?SVC ?SITTER)
            (patient ?SVC ?CHILD)
            (not
                (parent ?CHILD ?SITTER)))))		 Hotel.kif 1889-1898 If X is an instance of child-care service, then there exist Y, Z such that Y is an instance of human child or Y is an instance of human baby, Z provides a service during X, Y is a patient of X, and Z is not a parent of Y
(=>
    (capability ChildCareService agent ?X)
    (exists (?SITTER)
        (and
            (employs ?X ?SITTER)
            (capability ChildCareService serviceProvider ?SITTER))))		 Hotel.kif 1900-1905 If X is capable of doing child-care service as a agent, then there exists Y such that X employs Y and Y is capable of doing child-care service as a service provider

consequent
-------------------------


(=>
    (capability ChildCareService agent ?X)
    (exists (?SITTER)
        (and
            (employs ?X ?SITTER)
            (capability ChildCareService serviceProvider ?SITTER))))		 Hotel.kif 1900-1905 If X is capable of doing child-care service as a agent, then there exists Y such that X employs Y and Y is capable of doing child-care service as a service provider
(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (wants ?PARENT ?CARE))) Possibility))		 Hotel.kif 1907-1918 If X is a parent of Y and Y is an instance of human child or Y is an instance of human baby, then the statement there exists Z such that Z is an instance of child-care service and X wants Z has the modal force of possibility
(=>
    (and
        (instance ?X Nursery)
        (element ?X
            (PropertyFn ?HOTEL))
        (attribute ?HOTEL TravelerAccommodation))
    (exists (?NANNY ?CARE)
        (and
            (attribute ?X CommunalAttribute)
            (employs ?HOTEL ?NANNY)
            (hasPurpose ?NANNY
                (and
                    (instance ?CARE ChildCareService)
                    (serviceProvider ?CARE ?NANNY))))))		 Hotel.kif 1920-1932 If X is an instance of nursery, X is an element of belongings of Y, and traveler accommodation is an attribute of Y, then there exist Z, W such that communal is an attribute of X, Y employs Z, Z has the purpose W is an instance of child-care service, and Z provides a service during W


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners