organizationProductType - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - organizationProductType

organizationProductType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1623-1625
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1620-1620	The number 1 argument of organization product type is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1621-1621	The number 2 argument of organization product type is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1619-1619	organization product 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 1863-1863
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1862-1862
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1861-1861
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42564-42564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42563-42563
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42562-42562

antecedent

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

Economy.kif 1627-1631

If a kind of object is an organization product type of an organization and a kind of object is a subclass of another kind of object,
then another kind of object is an organization product type of the organization

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1633-1639	If a kind of object is an industry product 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 object is an organization product type of the organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1627-1631	If a kind of object is an organization product type of an organization and a kind of object is a subclass of another kind of object, then another kind of object is an organization product type of the organization

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