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 17232-17237
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17229-17229	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 17230-17230	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 17226-17226	Relative time is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17227-17227	Relative time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17228-17228	Relative time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17231-17231	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 17206-17212	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 17218-17224	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 17194-17200	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 17182-17188	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