TemporalCompositionFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TemporalCompositionFn

TemporalCompositionFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2819-2822
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9512-9517
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1560-1564
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9509-9509	The number 1 argument of temporal composition is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9510-9510	The number 2 argument of temporal composition is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9507-9507	Temporal composition is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9506-9506	Temporal composition is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9508-9508	Temporal composition is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9511-9511	The values returned by temporal composition are subclasses of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 447-447
No TPTP formula. May not be expressible in strict first order.	english_format.kif 453-453
No TPTP formula. May not be expressible in strict first order.	french_format.kif 260-260
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 293-293
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2050-2050
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 212-212
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 266-266
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 583-583
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 329-329
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 281-281
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 286-286
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 448-448
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57440-57440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57439-57439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57438-57438
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 179-179

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9552-9557	If equal decomposition of a time interval into the time intervalTYPEs and another kind of time interval, then there exists a third time interval such that the third time interval is an instance of another kind of time interval and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9545-9550	If equal decomposition of a time interval into the time intervalTYPEs and another kind of time interval, then there exists a third time interval such that the third time interval is an instance of another kind of time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9583-9593	If equal decomposition of a time interval into the time intervalTYPEs and another kind of time interval, then for all a time position if the time position is an instance of time point and the time position is a part of the time interval, then there exists another time position such that the other time position is an instance of another kind of time interval and the time position is a part of the other time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9531-9543	If equal decomposition of a time interval into the time intervalTYPEs and another kind of time interval, then for all a third time interval and a fourth time interval if the third time interval is an instance of another kind of time interval and the fourth time interval is an instance of the other kind of time interval and equal the third time interval and the fourth time interval, then the third time interval meets the fourth time interval or the fourth time interval meets the third time interval or the third time interval happens earlier than the fourth time interval or the fourth time interval happens earlier than the third time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9519-9529	If equal decomposition of a time interval into the time intervalTYPEs and another kind of time interval, then for all a third time interval and a fourth time interval if the third time interval is an instance of the time intervalTYPE and the fourth time interval is an instance of another kind of time interval, then there exists a time duration such that duration of the third time interval is the time duration and duration of the fourth time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9559-9569	If equal decomposition of a time interval into the time intervalTYPEs and another kind of time interval, then for all a third time interval if the third time interval is an instance of another kind of time interval and the third time interval doesn't finish the time interval, then there exists a fourth time interval such that the fourth time interval is an instance of the other kind of time interval and the third time interval meets the fourth time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9571-9581	If equal decomposition of a time interval into the time intervalTYPEs and another kind of time interval, then for all a third time interval if the third time interval is an instance of another kind of time interval and the third time interval doesn't start the time interval, then there exists a fourth time interval such that the fourth time interval is an instance of the other kind of time interval and the fourth time interval meets the third time interval

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9599-9603	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then equal the number of instances in decomposition of the time interval into days and the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9609-9611	If a time interval is an instance of day, then equal the number of instances in decomposition of the time interval into hours and 24
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9613-9615	If a time interval is an instance of hour, then equal the number of instances in decomposition of the time interval into minutes and 60
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9617-9619	If a time interval is an instance of minute, then equal the number of instances in decomposition of the time interval into seconds and 60
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9605-9607	If a time interval is an instance of week, then equal the number of instances in decomposition of the time interval into days and 7
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9595-9597	If a time interval is an instance of year, then equal the number of instances in decomposition of the time interval into months and 12

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