TreeView Knowledge Base Browser - someRoomsPolicy

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

someRoomsPolicy

Sigma KEE - someRoomsPolicy

someRoomsPolicy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 241-242
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 245-245	The number 1 argument of room policy in all rooms is an instance of room inventory
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 246-246	The number 2 argument of room policy in all rooms is an instance of policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 240-240	room policy in all rooms is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4562-4562
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4561-4561
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4560-4560
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 243-243

antecedent

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