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 15646-15648
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15644-15644	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 15643-15643	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 15641-15641	Edition is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15642-15642	Edition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15645-15645	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.	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.	japanese_format.kif 2093-2093
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-ro.kif 350-350
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 364-364
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.	domainEnglishFormat.kif 21255-21255
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 21254-21254
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21253-21253
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 222-222
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 192-192

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15650-15667	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 15669-15671	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