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 15492-15493
No TPTP formula. May not be expressible in strict first order. Merge.kif 15489-15491
No TPTP formula. May not be expressible in strict first order. Merge.kif 15487-15487 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 15486-15486 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 15484-15484 Edition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 15485-15485 Edition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15488-15488 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. french_format.kif 329-329
No TPTP formula. May not be expressible in strict first order. relations-it.txt 88-88
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 281-281
No TPTP formula. May not be expressible in strict first order. relations-de.txt 731-731
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 128-128
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 191-191
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
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 192-192 "tungkulin ng salin" is the printable form of edition in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15495-15512
No TPTP formula. May not be expressible in strict first order. Merge.kif 15514-15516


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