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
Le nombre 2 argument de
SeriesVolumeFn
est une
instance
de
nombre entier positif
(
domainSubclass
SeriesVolumeFn
1
Series
)
Mid-level-ontology.kif 14616-14616
Le nombre 1 argument de
SeriesVolumeFn
est une
sous
-classe de
series
(
instance
SeriesVolumeFn
BinaryFunction
)
Mid-level-ontology.kif 14614-14614
SeriesVolumeFn
est une
instance
de
fonction binaire
(
instance
SeriesVolumeFn
PartialValuedRelation
)
Mid-level-ontology.kif 14615-14615
SeriesVolumeFn
est une
instance
de
relation partielle
(
rangeSubclass
SeriesVolumeFn
Text
)
Mid-level-ontology.kif 14618-14618
Les valeurs retourn�es par
SeriesVolumeFn
sont des
sous
-classes de
texte
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
Series
est une
sous
-classe de
NewsProgram
entit�
est une
instance
de le volume
nombre entier positif
dans les
s
�ries
series
processus
processus
est une
instance
de
disseminer
entit�
est un
patient
de
processus
(=>
(
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
Series
est une
sous
-classe de
periodique
le volume
nombre entier positif
dans les
s
�ries
series
est
texte
le volume
nombre entier positif
dans les
s
�ries
series
est
texte
nombre entier positif
est
plus
grand
que
nombre entier positif
processus
est une
instance
de
publier
processus
est une
instance
de
publier
entit�
est une
instance
de
texte
entit�
est une
instance
de
texte
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
la
date
de
processus
est
jour
la
date
de
processus
est
jour
la
fin
de
jour
se produit
avant
la
fin
de
jour
(=>
(
equal
(
SeriesVolumeFn
?SERIES ?NUMBER) ?VOLUME)
(
subsumesContentClass
?SERIES ?VOLUME))
Mid-level-ontology.kif 14639-14641
Le volume
nombre entier positif
dans les
s
�ries
series
est
texte
series
classe
le contenu de
texte
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