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 11705-11709
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11703-11703	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 526-526	Catering is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2121-2121	Check-in service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2154-2154	Check-out service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1841-1841	Child-care service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11714-11714	Commercial service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2071-2071	Currency exchange is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1779-1779	Dry-clean is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2213-2213	Executive service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1825-1825	Ironing service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1755-1755	Laundry service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2248-2248	Medical service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2099-2099	Photocopying service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1893-1893	Service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1939-1939	Room service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2228-2228	Safety deposit box is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2267-2267	Secretarial service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2057-2057	Tour service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3342-3342	Transportation service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1923-1923	Turndown service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1796-1796	Valet laundry is a subclass of service
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 143-143	Valet parking is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1964-1964	Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52252-52252
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52251-52251
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52250-52250

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22324-22324	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 22335-22335	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 22343-22348	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 22350-22355	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 1747-1753	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 3053-3065	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 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 3044-3051	If a physical is an instance of ServiceRating, then the physical has the purpose an entity is an instance of classifying and the entity ends up at another 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 13668-13677	If a proposition the 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: