HotelFrontDesk - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1753-1756
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1752-1752	Front desk is a subclass of organization

appearance as argument number 2

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

Hotel.kif 1757-1757

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1759-1764	If an organization is an instance of front desk, then there exists another organization such that traveler accommodation is an attribute of the other organization and the organization is a part of the organization the other organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1766-1774	If a physical is an instance of front desk, then the physical has the purpose there exists an entity such that the entity is an instance of check-in service or the entity is an instance of check-out service and the physical is an agent of the entity

consequent

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

Hotel.kif 1135-1148