TreeView Knowledge Base Browser - roomPolicy

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - roomPolicy

roomPolicy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 441-442
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 446-446	The number 2 argument of room policy is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 445-445	The number 1 argument of room policy is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 440-440	room policy is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4446-4446
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4445-4445
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4444-4444
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 443-443

antecedent

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

Hotel.kif 448-453

If a policy is a policy that applies to a kind of hotel unit,
then for all an object
- if the object is an instance of a kind of hotel unit,
- then the policy covers the object

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 233-238	If all rooms in a room inventory have policy a policy, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then the policy is a policy that applies to the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 248-253	If some rooms in a room inventory have a policy, then there exists a kind of hotel unit such that a kind of hotel unit is a member type of the room inventory and the policy is a policy that applies to the kind of hotel unit

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