TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2785-2786
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2781-2781	Customer support is a subclass of organization

appearance as argument number 2

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

UXExperimentalTerms.kif 2783-2783

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2788-2793	If an organization is an instance of customer support, then there exists a business such that the business is an instance of organization and the organization is a business unit of the business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2795-2805	If a physical is an instance of customer support, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of cognitive agent and the other entity is an instance of cognitive agent and the third entity is an instance of organization and the physical is a business unit of the third entity and the entity is a member of the physical and the entity customer representative the other entity for the third entity

consequent

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

ComputingBrands.kif 3084-3092