TreeView Knowledge Base Browser - HousekeepingPolicy

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

HousekeepingPolicy

Sigma KEE - HousekeepingPolicy

HousekeepingPolicy(housekeeping policy)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2638-2639
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2637-2637	Housekeeping policy is a subclass of policy

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2649-2649	Daily housekeeping is a subclass of housekeeping policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2676-2676	No housekeeping is a subclass of housekeeping policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2699-2699	With housekeeping is a subclass of housekeeping policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2640-2640

antecedent

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

Hotel.kif 2642-2647

If a policy is an instance of housekeeping policy,
then there exists an organization such that the organization enacts policy the policy and traveler accommodation is an attribute of the organization

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 is open source software produced by Articulate Software and its partners