Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| organizationServiceType |
| appearance as argument number 1 |
|
| (instance organizationServiceType BinaryPredicate) | Economy.kif 1779-1779 | organization service type is an instance of binary predicate |
| (domain organizationServiceType 1 Organization) | Economy.kif 1780-1780 | The number 1 argument of organization service type is an instance of organization |
| (domainSubclass organizationServiceType 2 IntentionalProcess) | Economy.kif 1781-1781 | The number 2 argument of organization service type is a subclass of intentional process |
| (documentation organizationServiceType EnglishLanguage "(organizationServiceType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS provides services of the kind ?TYPE.") | Economy.kif 1783-1785 | The number 2 argument of organization service type is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage organizationServiceType "%2 is %n an organization service type of %1") | domainEnglishFormat.kif 1869-1869 | |
| (format ChineseTraditionalLanguage organizationServiceType "%2 %n 是 %1 的 organization 服務類別類") | domainEnglishFormat.kif 1870-1870 | |
| (format ChineseLanguage organizationServiceType "%2 %n 是 %1 的 organization 服务类别类") | domainEnglishFormat.kif 1871-1871 | |
| (termFormat EnglishLanguage organizationServiceType "organization service type") | domainEnglishFormat.kif 42563-42563 | |
| (termFormat ChineseTraditionalLanguage organizationServiceType "組織服務類型") | domainEnglishFormat.kif 42564-42564 | |
| (termFormat ChineseLanguage organizationServiceType "组织服务类型") | domainEnglishFormat.kif 42565-42565 |
| antecedent |
|
|
| (=> (and (organizationServiceType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationServiceType ?BUSINESS ?GENUS)) |
Economy.kif 1787-1791 | If X is an organization service type of Y and X is a subclass of Z, then Z is an organization service type of Y |
| consequent |
|
|
| (=> (and (organizationServiceType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationServiceType ?BUSINESS ?GENUS)) |
Economy.kif 1787-1791 | If X is an organization service type of Y and X is a subclass of Z, then Z is an organization service type of Y |
| (=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE)) |
Economy.kif 1793-1799 | If X is an industry service 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 service type of Z |
|