temporallyBetween - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - temporallyBetween

temporallyBetween

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2711-2713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8069-8072
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8065-8065	The number 1 argument of temporally between is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8066-8066	The number 2 argument of temporally between is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8067-8067	The number 3 argument of temporally between is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8063-8063	temporally between is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8061-8061	temporally between is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8062-8062	temporally between is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8064-8064	temporally between is a subrelation of temporally between or equal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 427-427
No TPTP formula. May not be expressible in strict first order.	english_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57407-57407
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 428-428
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57406-57406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57405-57405

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 8074-8078

If a time point is between another time point and a third time point,
then the other time point happens before the time point and the time point happens before the third time point

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8080-8084	If a time point happens before another time point and the other time point happens before a third time point, then the other time point is between the time point and the third time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7797-7802	If a time point is an instance of time point and the time point is not equal to negative infinity, then there exists another time point such that the other time point is between negative infinity and the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7779-7784	If a time point is an instance of time point and the time point is not equal to positive infinity, then there exists another time point such that the other time point is between the time point and positive infinity

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