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 16174-16176
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.	pictureList.kif 9951-9951
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10689-10689
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10688-10688
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16173-16173	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 7608-7608	Nonprofit organization is disjoint from commercial agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16179-16179	Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15768-15768
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15767-15767
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15766-15766

antecedent

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

TransportDetail.kif 102-121

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 7107-7111	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 7758-7762	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 11877-11882	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