EditionFn - Sigma Knowledge base Browser

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 15229-15231
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15227-15227	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 15226-15226	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 15224-15224	Edition is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15225-15225	Edition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15228-15228	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 564-564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21237-21237
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 21236-21236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21235-21235

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15233-15250	If edition a positive integer of a kind of content bearing object is equal to another kind of content bearing object and edition another positive integer of a kind of content bearing object is equal to a third kind of content bearing object and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of another kind of content bearing object and another entity is an instance of a third kind of content bearing object and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15252-15254	If edition a positive integer of a kind of content bearing physical is equal to another kind of content bearing physical, then a kind of content bearing physical subsumes the content of another kind of content bearing physical

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