RoomCleaningService - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RoomCleaningService

RoomCleaningService

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1919-1920
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1918-1918	RoomCleaningService e' uma sub-classe de ServiceProcess

appearance as argument number 2

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

Hotel.kif 1921-1921

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation e' um atributo de AutonomousAgent AutonomousAgent e' capaz de fazer RoomCleaningService no role agent Agente Cognitivo Objeto AutonomousAgent emprega Agente Cognitivo Maid e' um atributo de Agente Cognitivo Objeto e' uma instancia de HotelUnit Objeto e' uma &parte de propriedade de AutonomousAgent Objeto e' capaz de fazer RoomCleaningService no role patient Agente Cognitivo e' capaz de fazer RoomCleaningService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1923-1933	ServiceProcess e' uma instancia de RoomCleaningService Agente Cognitivo Objeto and Processo Maid e' um atributo de Agente Cognitivo serviceProvider ServiceProcess and Agente Cognitivo ServiceProcess e' situado em Objeto Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de Cleaning Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation e' um atributo de AutonomousAgent AutonomousAgent e' capaz de fazer RoomCleaningService no role agent Agente Cognitivo Objeto AutonomousAgent emprega Agente Cognitivo Maid e' um atributo de Agente Cognitivo Objeto e' uma instancia de HotelUnit Objeto e' uma &parte de propriedade de AutonomousAgent Objeto e' capaz de fazer RoomCleaningService no role patient Agente Cognitivo e' capaz de fazer RoomCleaningService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	Policy e' uma instancia de DailyHousekeepingPolicy policyOwner Organizacao and Policy o argumento Entidade Entidade and Entidade guest Entidade and Organizacao stays Entidade and Entidade Entidade e' igual a tempo de existencia de stays Entidade and Entidade Entidade Entidade e' uma instancia de Dia Entidade acontece durante Entidade Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade Entidade acontece durante Entidade vale durante Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2681-2697	Policy e' uma instancia de NoHousekeepingPolicy policyOwner Organizacao and Policy TravelerAccommodation e' um atributo de Organizacao o argumento Entidade Entidade guest Entidade and Organizacao Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade vale durante tempo de existencia de stays Entidade and Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2704-2719	Policy e' uma instancia de WithHousekeepingPolicy policyOwner Organizacao and Policy TravelerAccommodation e' um atributo de Organizacao o argumento Entidade Entidade guest Entidade and Organizacao Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade vale durante tempo de existencia de stays Entidade and Entidade tem a forca modal de Likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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