DailyHousekeepingPolicy - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DailyHousekeepingPolicy

DailyHousekeepingPolicy(daily housekeeping)

daily_housekeeping

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2591-2592
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2590-2590	Daily housekeeping is a subclass of housekeeping policy

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 2593-2593

"daily housekeeping" is the printable form of daily housekeeping in english language

antecedent

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 2595-2615

If a policy is an instance of daily housekeeping and an organization enacts policy the policy,
then the statement there exist a human and a temporary residence such that the human is a guest at the organization and the human stays at the temporary residence and a time interval is equal to the time of existence of the human stays at the temporary residence and for all another time interval
- if the other time interval is an instance of day and the other time interval takes place during the time interval,
- then there exists a third time interval such that the third time interval is an instance of service and the temporary residence is a patient of the third time interval and the third time interval takes place during the other time interval
holds during the time interval has the modal force of likely

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