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
environmentAttributes
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 14647-14649
(
domain
SeriesVolumeFn
2
PositiveInteger
)
Mid-level-ontology.kif 14645-14645
(
domainSubclass
SeriesVolumeFn
1
Series
)
Mid-level-ontology.kif 14644-14644
(
instance
SeriesVolumeFn
BinaryFunction
)
Mid-level-ontology.kif 14642-14642
(
instance
SeriesVolumeFn
PartialValuedRelation
)
Mid-level-ontology.kif 14643-14643
(
rangeSubclass
SeriesVolumeFn
Text
)
Mid-level-ontology.kif 14646-14646
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 52193-52193
(
termFormat
ChineseLanguage
SeriesVolumeFn
"系列编号函数")
chinese_format.kif 562-562
(
termFormat
ChineseTraditionalLanguage
SeriesVolumeFn
"系列卷")
domainEnglishFormat.kif 52192-52192
(
termFormat
EnglishLanguage
SeriesVolumeFn
"series volume")
domainEnglishFormat.kif 52191-52191
antecedent
(=>
(
and
(
subclass
?PROGRAM
NewsProgram
)
(
instance
?EPISODE
(
SeriesVolumeFn
?PROGRAM ?NUMBER)))
(
exists
(?DISSEMINATE)
(
and
(
instance
?DISSEMINATE
Disseminating
)
(
patient
?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 14633-14640
(=>
(
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 14651-14665
(=>
(
equal
(
SeriesVolumeFn
?SERIES ?NUMBER) ?VOLUME)
(
subsumesContentClass
?SERIES ?VOLUME))
Mid-level-ontology.kif 14667-14669
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