| appearance as argument number 1 |
|
| (documentation organizationServiceType EnglishLanguage "(organizationServiceType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS provides services of the kind ?TYPE.") | Economy.kif 1667-1669 | |
| (domain organizationServiceType 1 Organization) | Economy.kif 1664-1664 | |
| (domainSubclass organizationServiceType 2 IntentionalProcess) | Economy.kif 1665-1665 | |
| (instance organizationServiceType BinaryPredicate) | Economy.kif 1663-1663 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage organizationServiceType "%2 %n 是 %1 的 organization 服务类别类") | domainEnglishFormat.kif 1867-1867 | |
| (format ChineseTraditionalLanguage organizationServiceType "%2 %n 是 %1 的 organization 服務類別類") | domainEnglishFormat.kif 1866-1866 | |
| (format EnglishLanguage organizationServiceType "%2 is %n an organization service type of %1") | domainEnglishFormat.kif 1865-1865 | |
| (termFormat ChineseLanguage organizationServiceType "组织服务类型") | domainEnglishFormat.kif 42547-42547 | |
| (termFormat ChineseTraditionalLanguage organizationServiceType "組織服務類型") | domainEnglishFormat.kif 42546-42546 | |
| (termFormat EnglishLanguage organizationServiceType "organization service type") | domainEnglishFormat.kif 42545-42545 |
| antecedent |
|
|
| (=> (and (organizationServiceType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationServiceType ?BUSINESS ?GENUS)) |
Economy.kif 1671-1675 |
| consequent |
|
|
| (=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE)) |
Economy.kif 1677-1683 | |
| (=> (and (organizationServiceType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationServiceType ?BUSINESS ?GENUS)) |
Economy.kif 1671-1675 |
|
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