Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EditionFn
EditionFn

appearance as argument number 1
-------------------------


s__documentation(s__EditionFn__m,s__ChineseLanguage,'"这是一个 BinaryFunction,它把一种文本 (例如:阿加莎·克里斯蒂所作的东方快车谋杀案 ) 和这个文本的版本对应的一个数字连在一起。"')

chinese_format.kif 3567-3568
s__documentation(s__EditionFn__m,s__EnglishLanguage,'"A BinaryFunction that maps a type of text (e.g. Agatha Christies Murder_on_the_Orient_Express) and a number to the edition of the text type corresponding to the number."')

Merge.kif 14842-14844
s__domain(s__EditionFn__m,n__2,s__PositiveInteger)

Merge.kif 14840-14840 The number 2 argument of edition is an instance of positive integer
s__domainSubclass(s__EditionFn__m,n__1,s__ContentBearingObject)

Merge.kif 14839-14839 The number 1 argument of edition is a subclass of content bearing object
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__EditionFn__m,s__BinaryFunction)

Merge.kif 14837-14837 Edition is an instance of binary function
s__instance(s__EditionFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 14838-14838 Edition is an instance of partial valued relation
s__rangeSubclass(s__EditionFn__m,s__ContentBearingObject)

Merge.kif 14841-14841 The values returned by edition are subclasses of content bearing object

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__EditionFn__m,'"%1的第%2版 "')

chinese_format.kif 559-559
s__format(s__EnglishLanguage,s__EditionFn__m,'"edition %2 of %1"')

english_format.kif 567-567
s__termFormat(s__ChineseLanguage,s__EditionFn__m,'"版"')

domainEnglishFormat.kif 21237-21237
s__termFormat(s__ChineseLanguage,s__EditionFn__m,'"版本函数"')

chinese_format.kif 560-560
s__termFormat(s__ChineseTraditionalLanguage,s__EditionFn__m,'"版"')

domainEnglishFormat.kif 21236-21236
s__termFormat(s__EnglishLanguage,s__EditionFn__m,'"edition"')

domainEnglishFormat.kif 21235-21235

antecedent
-------------------------


( ! [V__TEXT,V__EDITION1,V__CBO2,V__EDITION2,V__CBO1,V__INT2,V__PUB2,V__DATE1,V__INT1,V__DATE2,V__PUB1] :
   (((s__subclass(V__TEXT,s__ContentBearingObject) &
         s__subclass(V__EDITION1,s__ContentBearingObject) &
         s__instance(V__EDITION1,s__Class) &
         s__subclass(V__EDITION2,s__ContentBearingObject) &
         s__instance(V__EDITION2,s__Class) &
         s__instance(V__INT2,s__PositiveInteger) &
         s__instance(V__DATE1,s__Day) &
         s__instance(V__INT1,s__PositiveInteger) &
         s__instance(V__DATE2,s__Day))
       =>
       ((((s__EditionFn(V__TEXT,V__INT1)
             = V__EDITION1)
           &
           (s__EditionFn(V__TEXT,V__INT2)
           = V__EDITION2)
         &
         s__greaterThan(V__INT2,V__INT1)
       &
       s__instance(V__PUB1,s__Publication) &
       s__instance(V__PUB2,s__Publication) &
       s__instance(V__CBO1,V__EDITION1)
     &
     s__instance(V__CBO2,V__EDITION2)
   &
   s__patient(V__PUB1,V__CBO1)
&
s__patient(V__PUB2,V__CBO2)
&
s__date(V__PUB1,V__DATE1)
&
s__date(V__PUB2,V__DATE2))
=>
(s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))))
)
)

Merge.kif 14846-14863
( ! [V__TEXT1,V__TEXT2,V__NUMBER] :
   (((s__subclass(V__TEXT1,s__ContentBearingObject) &
         s__subclass(V__TEXT1,s__ContentBearingPhysical) &
         s__subclass(V__TEXT2,s__ContentBearingObject) &
         s__subclass(V__TEXT2,s__ContentBearingPhysical) &
         s__instance(V__NUMBER,s__PositiveInteger))
       =>
       (((s__EditionFn(V__TEXT1,V__NUMBER)
           = V__TEXT2)
         =>
         (s__subsumesContentClass(V__TEXT1,V__TEXT2)))))
)
)

Merge.kif 14865-14867


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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