PhotocopyingService - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PhotocopyingService

PhotocopyingService(photocopying service)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2138-2139
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2137-2137	Photocopying service is a subclass of service

appearance as argument number 2

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

Hotel.kif 2140-2140

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2149-2157	If a service is an instance of photocopying service and a cognitive agent provides a service during the service, then there exists an object such that the object is an instance of photocopier and the cognitive agent possesses the object and the object is an instrument for the service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2142-2147	If a process is an instance of photocopying service, then there exists another process such that the other process is an instance of photocopying and the other process is a subprocess of the process

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