ServiceProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3100-3102
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12001-12005
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1871-1873
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11999-11999	Service is a subclass of social interaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 571-571	Catering is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2159-2159	Check-in service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2192-2192	Check-out service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1877-1877	Child-care service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12010-12010	Commercial service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2107-2107	Currency exchange is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1815-1815	Dry-clean is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2251-2251	Executive service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1861-1861	Ironing service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1791-1791	Laundry service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2286-2286	Medical service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2137-2137	Photocopying service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1929-1929	Service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1975-1975	Room service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2266-2266	Safety deposit box is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2305-2305	Secretarial service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2093-2093	Tour service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4476-4476	Transportation service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1959-1959	Turndown service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 147-147	Valet parking is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2000-2000	Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52302-52302	Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52301-52301	Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52300-52300	Wake-up service is a subclass of service

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24537-24537	The number 1 argument of service provider is an instance of service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24548-24548	The number 1 argument of service recipient is an instance of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 216-216	The number 2 argument of service amenity in all rooms is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 201-201	The number 2 argument of service amenity in some rooms is a subclass of service

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24556-24561	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent provides a service during the service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24563-24568	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent receives a service during the service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1783-1789	If a service is an instance of service, then there exist a cognitive agent and another cognitive agent such that the cognitive agent provides a service during the service and the other cognitive agent receives a service during the service and the cognitive agent is not equal to the other cognitive agent

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3102-3114	If an agent believes another agent is an attribute and the attribute is an instance of service rating and the other agent is an instance of agent, then there exist a process and another process such that the process is an instance of service and the other agent is an agent of the process and the other process is an instance of classifying and the agent is an agent of the other process and the other process ends up at the process and the attribute is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3092-3100	If a physical is an instance of service rating, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of classifying and the entity ends up at the other entity and the physical is a patient of the entity and the other entity is an instance of service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15587-15596	If a proposition the attribute service contract, then there exist a service, an agreement and the propositionUST such that the service is an instance of service and the service expresses the content of the proposition and the agreement provides a service during the service and the propositionUST receives a service during the service and the agreement is a party to agreement of the proposition and the propositionUST is a party to agreement of the proposition

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

KB Term:			Term intersection

English Word: