TreeView Knowledge Base Browser - RecurrentTimeIntervalFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

RecurrentTimeIntervalFn

Sigma KEE - RecurrentTimeIntervalFn

RecurrentTimeIntervalFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2732-2735
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8432-8438
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1457-1461
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8428-8428	The number 1 argument of recurrent time interval is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8429-8429	The number 2 argument of recurrent time interval is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8426-8426	Recurrent time interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8427-8427	Recurrent time interval is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8425-8425	Recurrent time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8430-8430	The values returned by recurrent time interval are subclasses of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 653-653
No TPTP formula. May not be expressible in strict first order.	english_format.kif 656-656
No TPTP formula. May not be expressible in strict first order.	french_format.kif 393-393
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 245-245
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2123-2123
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 345-345
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 854-854
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 283-283
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 415-415
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 436-436
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 437-437
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6572-6572	Interval is internally related to recurrent time interval
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49055-49055
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 654-654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49054-49054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49053-49053

antecedent

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

Merge.kif 8440-8447

If a time interval is an instance of the recurring period from another kind of time interval to a third kind of time interval,
then there exist a fourth time interval and a fifth time interval such that the fourth time interval is an instance of another kind of time interval and the fifth time interval is an instance of a third kind of time interval and the fourth time interval starts the time interval and the fifth time interval finishes the time interval

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1664-1664	Fall season is equal to the recurring period from September to November
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1662-1662	Spring season is equal to the recurring period from March to May
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1663-1663	Summer season is equal to the recurring period from June to August
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1665-1665	Winter season is equal to the recurring period from December to February

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