HotelFrontDesk - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1690-1693
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1689-1689	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 1694-1694

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1696-1701	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 は組織 the other organization の一部では %n
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1703-1711	If a physical is an instance of front desk, then the physical 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 1084-1097