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
SeriesVolumeFn
Sigma KEE - SeriesVolumeFn
SeriesVolumeFn
appearance as argument number 1
(
documentation
SeriesVolumeFn
EnglishLanguage
"A
BinaryFunction
that maps a type of
Series
(e.g. the Encyclopedia_Britannica or the Popular_Mechanics periodical) and a number to the volumes of the text type designated by the number.")
Mid-level-ontology.kif 14619-14621
(
domain
SeriesVolumeFn
2
PositiveInteger
)
Mid-level-ontology.kif 14617-14617
O argumento numero 2 de
SeriesVolumeFn
e' uma
instancia
de
Inteiro positivo
(
domainSubclass
SeriesVolumeFn
1
Series
)
Mid-level-ontology.kif 14616-14616
O argumento numero 1 de
SeriesVolumeFn
e' uma
sub
-classe de
Serie
(
instance
SeriesVolumeFn
BinaryFunction
)
Mid-level-ontology.kif 14614-14614
SeriesVolumeFn
e' uma
instancia
de
Funcao Binaria
(
instance
SeriesVolumeFn
PartialValuedRelation
)
Mid-level-ontology.kif 14615-14615
SeriesVolumeFn
e' uma
instancia
de
Relacao Parcial
(
rangeSubclass
SeriesVolumeFn
Text
)
Mid-level-ontology.kif 14618-14618
Os valores retornados por
SeriesVolumeFn
sao as
sub
-classes de
Texto
appearance as argument number 2
(
format
ChineseLanguage
SeriesVolumeFn
"系列%1的第%2卷")
chinese_format.kif 561-561
(
format
EnglishLanguage
SeriesVolumeFn
"volume %2 in the series %1")
english_format.kif 566-566
(
format
FrenchLanguage
SeriesVolumeFn
"le volume %2 dans les s�ries %1")
french_format.kif 330-330
(
format
ItalianLanguage
SeriesVolumeFn
"volume %2 nella serie %1")
relations-it.txt 260-260
(
format
JapaneseLanguage
SeriesVolumeFn
"series %1 の volume %2")
japanese_format.kif 2094-2094
(
format
PortugueseLanguage
SeriesVolumeFn
"o volume %2 na serie %1")
portuguese_format.kif 282-282
(
format
de
SeriesVolumeFn
"Band %2 in der reihe %1")
relations-de.txt 734-734
(
format
hi
SeriesVolumeFn
"%1 ke shreNii men %2 khanda")
relations-hindi.txt 297-297
(
format
ro
SeriesVolumeFn
"volumul %2 din series%t{seria} %1")
relations-ro.kif 351-351
(
format
sv
SeriesVolumeFn
"volym %2 i serien %1")
relations-sv.txt 365-365
(
format
tg
SeriesVolumeFn
"aklat %2 sa ang kawil %1")
relations-tg.txt 452-452
(
termFormat
ChineseLanguage
SeriesVolumeFn
"系列卷")
domainEnglishFormat.kif 52191-52191
(
termFormat
ChineseLanguage
SeriesVolumeFn
"系列编号函数")
chinese_format.kif 562-562
(
termFormat
ChineseTraditionalLanguage
SeriesVolumeFn
"系列卷")
domainEnglishFormat.kif 52190-52190
(
termFormat
EnglishLanguage
SeriesVolumeFn
"series volume")
domainEnglishFormat.kif 52189-52189
antecedent
(=>
(
and
(
subclass
?PROGRAM
NewsProgram
)
(
instance
?EPISODE
(
SeriesVolumeFn
?PROGRAM ?NUMBER)))
(
exists
(?DISSEMINATE)
(
and
(
instance
?DISSEMINATE
Disseminating
)
(
patient
?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 14605-14612
Serie
e' uma
sub
-classe de
NewsProgram
Entidade
e' uma
instancia
de o volume
Inteiro positivo
na
serie
Serie
Processo
Processo
e' uma
instancia
de
Disseminar
Entidade
e' um
patient
de
Processo
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14623-14637
Serie
e' uma
sub
-classe de
Periodico
o volume
Inteiro positivo
na
serie
Serie
e'
igual
a
Texto
o volume
Inteiro positivo
na
serie
Serie
e'
igual
a
Texto
Inteiro positivo
e'
maior
que
Inteiro positivo
Processo
e' uma
instancia
de
Publicacao
Processo
e' uma
instancia
de
Publicacao
Entidade
e' uma
instancia
de
Texto
Entidade
e' uma
instancia
de
Texto
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
a
data
de
Processo
e'
Dia
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
fim
de
Dia
(=>
(
equal
(
SeriesVolumeFn
?SERIES ?NUMBER) ?VOLUME)
(
subsumesContentClass
?SERIES ?VOLUME))
Mid-level-ontology.kif 14639-14641
O volume
Inteiro positivo
na
serie
Serie
e'
igual
a
Texto
Serie
subsume
o conteudo de
Texto
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