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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 15242-15244
(domain EditionFn 2 PositiveInteger) Merge.kif 15240-15240
(domainSubclass EditionFn 1 ContentBearingObject) Merge.kif 15239-15239
(instance EditionFn BinaryFunction) Merge.kif 15237-15237
(instance EditionFn PartialValuedRelation) Merge.kif 15238-15238
(rangeSubclass EditionFn ContentBearingObject) Merge.kif 15241-15241

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
(termFormat ChineseLanguage EditionFn "版") domainEnglishFormat.kif 21237-21237
(termFormat ChineseLanguage EditionFn "版本函数") chinese_format.kif 560-560
(termFormat ChineseTraditionalLanguage EditionFn "版") domainEnglishFormat.kif 21236-21236
(termFormat EnglishLanguage EditionFn "edition") domainEnglishFormat.kif 21235-21235

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 15246-15263
(=>
    (equal
        (EditionFn ?TEXT1 ?NUMBER) ?TEXT2)
    (subsumesContentClass ?TEXT1 ?TEXT2))		 Merge.kif 15265-15267


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