TreeView Knowledge Base Browser - TimePeriodFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TimePeriodFn

TimePeriodFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14003-14005
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14008-14008	The number 1 argument of time period function is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14009-14009	The number 2 argument of time period function is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14002-14002	Time period function is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14010-14010	The range of time period function is an instance of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4778-4778
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4777-4777
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4776-4776
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14006-14006

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13988-13993	If a time interval is an agreement period of an agreement and a time point is an agreement effective date of the agreement, then the agreement the attribute active agreement holds during a time that starts at the time point and lasts for the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14012-14018	If a time point is an instance of time point and another time point is an instance of time point and a time interval is equal to interval between the time point and the other time point and duration of the time interval is a time duration, then the time interval is equal to a time that starts at the time point and lasts for the time duration

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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