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
-------------------------


(documentation EditionFn ChineseLanguage "这是一个 BinaryFunction,它把一种文本 (例如:阿加莎·克里斯蒂所作的'东方快车'谋杀案 ) 和这个文本的版本对应的一个数字连在一起。") Merge.kif 20001-20002
(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 19998-20000
(domain EditionFn 2 PositiveInteger) Merge.kif 19996-19996 The number 2 argument of edition is an instance of positive integer
(domainSubclass EditionFn 1 ContentBearingObject) Merge.kif 19995-19995 The number 1 argument of edition is a subclass of content bearing object
(instance EditionFn BinaryFunction) Merge.kif 19993-19993 Edition is an instance of binary function
(instance EditionFn PartialValuedRelation) Merge.kif 19994-19994 Edition is an instance of partial valued relation
(rangeSubclass EditionFn ContentBearingObject) Merge.kif 19997-19997 The values returned by edition are subclasses of content bearing object

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 785-785
(format JapaneseLanguage EditionFn "%1 の edition %2") english_format.kif 786-786
(termFormat ChineseLanguage EditionFn "版") domainEnglishFormat.kif 21175-21175 "版" is the printable form of edition in ChineseLanguage
(termFormat ChineseLanguage EditionFn "版本函数") chinese_format.kif 560-560 "版本函数" is the printable form of edition in ChineseLanguage
(termFormat ChineseTraditionalLanguage EditionFn "版") domainEnglishFormat.kif 21174-21174 "版" is the printable form of edition in ChineseTraditionalLanguage
(termFormat EnglishLanguage EditionFn "edition") domainEnglishFormat.kif 21173-21173 "edition" is the printable form of edition in english language

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 20004-20021
(=>
    (equal
        (EditionFn ?TEXT1 ?NUMBER) ?TEXT2)
    (subsumesContentClass ?TEXT1 ?TEXT2))
Merge.kif 20023-20025


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners