SeriesVolumeFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SeriesVolumeFn

SeriesVolumeFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14619-14621
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14617-14617	The number 2 argument of series volume is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14616-14616	The number 1 argument of series volume is a subclass of series
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14614-14614	Series volume is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14615-14615	Series volume is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14618-14618	The values returned by series volume are subclasses of text

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 561-561
No TPTP formula. May not be expressible in strict first order.	english_format.kif 566-566
No TPTP formula. May not be expressible in strict first order.	french_format.kif 330-330
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 260-260
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2094-2094
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 282-282
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 734-734
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 297-297
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 351-351
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 365-365
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 452-452
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52191-52191
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 562-562
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52190-52190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52189-52189

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14605-14612	If a kind of series is a subclass of newsprogram and an entity is an instance of volume a positive integer in the series a kind of series, then there exists a process such that the process is an instance of disseminating and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14623-14637	If a kind of series is a subclass of periodical and volume a positive integer in the series a kind of series is equal to a kind of text and volume another positive integer in the series the kind of series is equal to another kind of text 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 a kind of text and another entity is an instance of another kind of text 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.	Mid-level-ontology.kif 14639-14641	If volume a positive integer in the series a kind of series is equal to a kind of text, then a kind of series subsumes the content of a kind of text

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