Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| organizationProductType |
| appearance as argument number 1 |
|
| (instance organizationProductType BinaryPredicate) | Economy.kif 1739-1739 | organization product type is an instance of binary predicate |
| (domain organizationProductType 1 Organization) | Economy.kif 1740-1740 | The number 1 argument of organization product type is an instance of organization |
| (domainSubclass organizationProductType 2 Object) | Economy.kif 1741-1741 | The number 2 argument of organization product type is a subclass of object |
| (documentation organizationProductType EnglishLanguage "(organizationProductType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS produces products of the kind ?TYPE.") | Economy.kif 1743-1745 | The number 2 argument of organization product type is a subclass of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage organizationProductType "%2 is %n an organization product type of %1") | domainEnglishFormat.kif 1865-1865 | |
| (format ChineseTraditionalLanguage organizationProductType "%2 %n 是 %1 的 organization 產品類別") | domainEnglishFormat.kif 1866-1866 | |
| (format ChineseLanguage organizationProductType "%2 %n 是 %1 的 organization 产品类别") | domainEnglishFormat.kif 1867-1867 | |
| (termFormat EnglishLanguage organizationProductType "organization product type") | domainEnglishFormat.kif 42557-42557 | |
| (termFormat ChineseTraditionalLanguage organizationProductType "組織產品類型") | domainEnglishFormat.kif 42558-42558 | |
| (termFormat ChineseLanguage organizationProductType "组织产品类型") | domainEnglishFormat.kif 42559-42559 |
| antecedent |
|
|
| (=> (and (organizationProductType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationProductType ?BUSINESS ?GENUS)) |
Economy.kif 1747-1751 | If X is an organization product type of Y and X is a subclass of Z, then Z is an organization product type of Y |
| consequent |
|
|
| (=> (and (organizationProductType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationProductType ?BUSINESS ?GENUS)) |
Economy.kif 1747-1751 | If X is an organization product type of Y and X is a subclass of Z, then Z is an organization product type of Y |
| (=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE)) |
Economy.kif 1753-1759 | If X is an industry product type of Y, Y is an instance of industry attribute, Z is an instance of organization, and Y is an attribute of Z, then X is an organization product type of Z |
|