TreeView Knowledge Base Browser - PhotocopyingService

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PhotocopyingService

Sigma KEE - PhotocopyingService

PhotocopyingService(photocopying service)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2127-2128
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2126-2126	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 2129-2129

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2138-2146	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 2131-2136	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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