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. chinese_format.kif 3567-3568
No TPTP formula. May not be expressible in strict first order. Merge.kif 14392-14394
No TPTP formula. May not be expressible in strict first order. Merge.kif 14390-14390 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 14389-14389 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 14387-14387 Edition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 14388-14388 Edition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14391-14391 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 567-567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21244-21244
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 560-560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21243-21243
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21242-21242

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14396-14413
No TPTP formula. May not be expressible in strict first order. Merge.kif 14415-14417


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