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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15629-15630
No TPTP formula. May not be expressible in strict first order. Merge.kif 15626-15628
No TPTP formula. May not be expressible in strict first order. Merge.kif 15624-15624 The number 2 argument of edition is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 15623-15623 The number 1 argument of edition is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15621-15621 Edition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 15622-15622 Edition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15625-15625 The values returned by edition are subclasses of content bearing object

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 559-559
No TPTP formula. May not be expressible in strict first order. english_format.kif 340-340
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 560-560 "版本函数" is the printable form of edition in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3962-3962 "edition" is the printable form of edition in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15632-15649
No TPTP formula. May not be expressible in strict first order. Merge.kif 15651-15653


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