ServiceProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11688-11690
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11683-11687
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11682-11682	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 530-530	Catering is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2089-2089	Check-in service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2122-2122	Check-out service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1810-1810	Child-care service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11697-11697	Commercial service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2039-2039	Currency exchange is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1748-1748	Dry-clean is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2181-2181	Executive service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1794-1794	Ironing service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1724-1724	Laundry service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2216-2216	Medical service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2067-2067	Photocopying service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1862-1862	Service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1908-1908	Room service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2196-2196	Safety deposit box is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2235-2235	Secretarial service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2025-2025	Tour service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3251-3251	Transportation service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1892-1892	Turndown service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1765-1765	Valet laundry is a subclass of service
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 141-141	Valet parking is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1933-1933	Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9139-9139	"service" is the printable form of service in english language

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 758-758	The number 1 argument of serviceInstrument is an instance of service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20364-20364	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 20375-20375	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 211-211	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 196-196	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 20384-20389	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 20392-20397	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 1716-1722	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 3019-3030	If an agent believes another agent is an attribute and the attribute is an instance of ServiceRating 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 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 3010-3017	If an entity is an instance of ServiceRating, then the entity has purpose a process is an instance of classifying and the process ends up at another entity and the entity is a patient of the process and the other entity is an instance of service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11555-11564	If a proposition has an attribute service contract, then there exists a service such that the service is an instance of service and the service expresses the content of the proposition and an 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: