CommercialAgent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CommercialAgent

CommercialAgent(commercial agent)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3658-3659
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16334-16336
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10684-10684
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9950-9950
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10687-10687
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10686-10686
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16333-16333	Commercial agent is a subclass of agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8775-8775	Nonprofit organization is disjoint from commercial agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16339-16339	Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15777-15777	Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15776-15776	Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15775-15775	Business is a subclass of commercial agent

antecedent

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

TransportDetail.kif 106-125

If a cognitive agent possesses an object and the cognitive agent is an instance of commercial agent and the object is an instance of parking lot and another object is an instance of building and the cognitive agent is located at the other object and an agent is a customer of the cognitive agent and the agent is located at the other object holds during a time position and a process is an instance of driving and an entity is a patient of the process and the agent is an agent of the process and the process ends up at the other object,
then the cognitive agent allows the agent to perform task of the type another entity is an instance of keeping and the other entity ends up at the object and the entity is a patient of the other entity holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8268-8272	If an agent is an instance of agency and the agent is a customer of a cognitive agent, then the cognitive agent is an instance of commercial agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8925-8929	If an agent is an instance of wholesale store and the agent is a customer of a cognitive agent, then the cognitive agent is an instance of commercial agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12012-12017	If a process is an instance of commercial service, then there exists an agent such that the agent is an instance of commercial agent and the agent is an agent 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