TreeView Knowledge Base Browser - organizationServiceType

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

organizationServiceType

Sigma KEE - organizationServiceType

organizationServiceType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1663-1665
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1660-1660	The number 1 argument of organization service type is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1661-1661	The number 2 argument of organization service type is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1659-1659	organization service type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1867-1867
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1866-1866
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1865-1865
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42570-42570
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42569-42569
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42568-42568

antecedent

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

Economy.kif 1667-1671

If a kind of intentional process is an organization service type of an organization and a kind of intentional process is a subclass of another kind of intentional process,
then another kind of intentional process is an organization service type of the organization

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1673-1679	If a kind of intentional process is an industry service type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of intentional process is an organization service type of the organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1667-1671	If a kind of intentional process is an organization service type of an organization and a kind of intentional process is a subclass of another kind of intentional process, then another kind of intentional process is an organization service type of the organization

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