RelativeTimeFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RelativeTimeFn

RelativeTimeFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3841-3845
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17254-17259
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17251-17251	The number 1 argument of relative time is an instance of time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17252-17252	The number 2 argument of relative time is an instance of time zone
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17248-17248	Relative time is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17249-17249	Relative time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17250-17250	Relative time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17253-17253	The range of relative time is an instance of time position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 596-596
No TPTP formula. May not be expressible in strict first order.	english_format.kif 599-599
No TPTP formula. May not be expressible in strict first order.	french_format.kif 358-358
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 251-251
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2101-2101
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 310-310
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 782-782
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 380-380
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 399-399
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49346-49346
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 597-597
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49345-49345
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49344-49344

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17228-17234	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone central time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 6)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17240-17246	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone eastern time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17216-17222	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone mountain time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17204-17210	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone pacific time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 8)

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