Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
organizationServiceType
Sigma KEE - organizationServiceType
organizationServiceType
appearance as argument number 1
(
documentation
organizationServiceType
EnglishLanguage
"(
organizationServiceType
?BUSINESS ?TYPE) means that the
Organization
?BUSINESS provides services of the kind ?TYPE.")
Economy.kif 1663-1665
(
domain
organizationServiceType
1
Organization
)
Economy.kif 1660-1660
Il numero 1 argomenti di
organizationServiceType
è un
istanza
di
Organizzazione
(
domainSubclass
organizationServiceType
2
IntentionalProcess
)
Economy.kif 1661-1661
Il numero 2 argomento
organizationServiceType
è una
sottoclasse
di
ProcessoIntenzionale
(
instance
organizationServiceType
BinaryPredicate
)
Economy.kif 1659-1659
organizationServiceType
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
organizationServiceType
"%2 %n 是 %1 的
or
ganization 服务类别类")
domainEnglishFormat.kif 1867-1867
(
format
ChineseTraditionalLanguage
organizationServiceType
"%2 %n 是 %1 的
or
ganization 服務類別類")
domainEnglishFormat.kif 1866-1866
(
format
EnglishLanguage
organizationServiceType
"%2 is %n an
or
ganization service type of %1")
domainEnglishFormat.kif 1865-1865
(
termFormat
ChineseLanguage
organizationServiceType
"组织服务类型")
domainEnglishFormat.kif 42570-42570
(
termFormat
ChineseTraditionalLanguage
organizationServiceType
"組織服務類型")
domainEnglishFormat.kif 42569-42569
(
termFormat
EnglishLanguage
organizationServiceType
"organization service type")
domainEnglishFormat.kif 42568-42568
antecedent
(=>
(
and
(
organizationServiceType
?BUSINESS ?TYPE)
(
subclass
?TYPE ?GENUS))
(
organizationServiceType
?BUSINESS ?GENUS))
Economy.kif 1667-1671
organizationServiceType
Organizzazione
and
ProcessoIntenzionale
ProcessoIntenzionale
è una
sottoclasse
di
ProcessoIntenzionale
organizationServiceType
Organizzazione
and
ProcessoIntenzionale
consequent
(=>
(
and
(
industryServiceType
?INDUSTRY ?TYPE)
(
instance
?INDUSTRY
IndustryAttribute
)
(
instance
?BUSINESS
Organization
)
(
attribute
?BUSINESS ?INDUSTRY))
(
organizationServiceType
?BUSINESS ?TYPE))
Economy.kif 1673-1679
industryServiceType
IndustryAttribute
and
ProcessoIntenzionale
IndustryAttribute
è un'
istanza
di
IndustryAttribute
Organizzazione
è un'
istanza
di
Organizzazione
attribute
Organizzazione
and
IndustryAttribute
organizationServiceType
Organizzazione
and
ProcessoIntenzionale
(=>
(
and
(
organizationServiceType
?BUSINESS ?TYPE)
(
subclass
?TYPE ?GENUS))
(
organizationServiceType
?BUSINESS ?GENUS))
Economy.kif 1667-1671
organizationServiceType
Organizzazione
and
ProcessoIntenzionale
ProcessoIntenzionale
è una
sottoclasse
di
ProcessoIntenzionale
organizationServiceType
Organizzazione
and
ProcessoIntenzionale
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