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
EditionFn
Sigma KEE - EditionFn
EditionFn
appearance as argument number 1
(
documentation
EditionFn
ChineseLanguage
"这是一个
BinaryFunction
,它把一种文本 (例如:阿加莎·克里斯蒂所作的'东方快车'谋杀案 ) 和这个文本的版本对应的一个数字连在一起。")
chinese_format.kif 3567-3568
(
documentation
EditionFn
EnglishLanguage
"A
BinaryFunction
that maps a type of text (e.g. Agatha Christie's Murder_on_the_Orient_Express) and a number to the edition of the text type corresponding to the number.")
Merge.kif 15511-15513
(
domain
EditionFn
2
PositiveInteger
)
Merge.kif 15509-15509
Die Zahl 2 Argument von
EditionFn
ist ein
fall
von
PositiveInteger
%n{nicht}
(
domainSubclass
EditionFn
1
ContentBearingObject
)
Merge.kif 15508-15508
Die Zahl 1 Argument von
EditionFn
ist eine
teilkategorie
von
ContentBearingObject
%n{nicht}
(
instance
EditionFn
BinaryFunction
)
Merge.kif 15506-15506
EditionFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
EditionFn
PartialValuedRelation
)
Merge.kif 15507-15507
EditionFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
rangeSubclass
EditionFn
ContentBearingObject
)
Merge.kif 15510-15510
Die werte die
EditionFn
zurueckgibt sind
teilkategorien
von
ContentBearingObject
appearance as argument number 2
(
format
ChineseLanguage
EditionFn
"%1的第%2版 ")
chinese_format.kif 559-559
(
format
EnglishLanguage
EditionFn
"edition %2 of %1")
english_format.kif 564-564
(
format
FrenchLanguage
EditionFn
"�dition %2 de %1")
french_format.kif 329-329
(
format
ItalianLanguage
EditionFn
"edizione %2 di %1")
relations-it.txt 88-88
(
format
JapaneseLanguage
EditionFn
"%1 の edition %2")
japanese_format.kif 2093-2093
(
format
PortugueseLanguage
EditionFn
"edicao %2 de %1")
portuguese_format.kif 281-281
(
format
de
EditionFn
"ausgabe %2 von %1")
relations-de.txt 731-731
(
format
hi
EditionFn
"%1 kaa sanskaraNa sanhkyaa %2")
relations-hindi.txt 128-128
(
format
ro
EditionFn
"edition%t{ediþia} %2 a lui %1")
relations-ro.kif 350-350
(
format
sv
EditionFn
"upplaga %2 av %1")
relations-sv.txt 364-364
(
format
tg
EditionFn
"salin %2 ng %1")
relations-tg.txt 191-191
(
termFormat
ChineseLanguage
EditionFn
"版")
domainEnglishFormat.kif 21246-21246
(
termFormat
ChineseLanguage
EditionFn
"版本函数")
chinese_format.kif 560-560
(
termFormat
ChineseTraditionalLanguage
EditionFn
"版")
domainEnglishFormat.kif 21245-21245
(
termFormat
EnglishLanguage
EditionFn
"edition")
domainEnglishFormat.kif 21244-21244
(
termFormat
tg
EditionFn
"tungkulin ng salin")
relations-tg.txt 192-192
antecedent
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15515-15532
Wenn
ausgabe
PositiveInteger
von
** ContentBearingObject
ist gleich
** ** ContentBearingObject
%n{nicht} und
ausgabe
** PositiveInteger
von
** ContentBearingObject
ist gleich
** ** ContentBearingObject
%n{nicht} und
** ** PositiveInteger
ist
groesserAls
** PositiveInteger
%n{nicht} und
Process
ist ein
fall
von
Publication
%n{nicht} und
** Process
ist ein
fall
von
Publication
%n{nicht} und
Entity
ist ein
fall
von
** ** ContentBearingObject
%n{nicht} und
** Entity
ist ein
fall
von
** ** ContentBearingObject
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
datum
von
** Process
ist
Day
%n{nicht} und
datum
von
** ** Process
ist
** Day
%n{nicht},
dann das
ende
von
** Day
geschieht
vor
das
ende
von
** ** Day
%n{nicht}
(=>
(
equal
(
EditionFn
?TEXT1 ?NUMBER) ?TEXT2)
(
subsumesContentClass
?TEXT1 ?TEXT2))
Merge.kif 15534-15536
Wenn
ausgabe
PositiveInteger
von
** ContentBearingPhysical
ist gleich
** ** ContentBearingPhysical
%n{nicht},
dann
** ContentBearingPhysical
fasst
das Inhalt von
** ** ContentBearingPhysical
zusammen
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