Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Week
Week(week)
Holy_Week, Passion_Week, Whitsun, Whitsuntide, Whitweek, calendar_week, hebdomad, rag, rag_week, week

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2815-2815
No TPTP formula. May not be expressible in strict first order. Merge.kif 9243-9243
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8257-8257
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6974-6974
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8258-8258
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8259-8259
No TPTP formula. May not be expressible in strict first order. Merge.kif 9241-9241 Week is a subclass of time interval

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14329-14329 The range of WeekAfterFn is an instance of week
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14336-14336 The range of WeekBeforeFn is an instance of week
No TPTP formula. May not be expressible in strict first order. Merge.kif 8862-8862 The values returned by WeekFn are subclasses of week
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1297-1297
No TPTP formula. May not be expressible in strict first order. english_format.kif 1811-1811

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9208-9215
No TPTP formula. May not be expressible in strict first order. Merge.kif 9156-9163
No TPTP formula. May not be expressible in strict first order. Merge.kif 9221-9228
No TPTP formula. May not be expressible in strict first order. Merge.kif 9230-9239
No TPTP formula. May not be expressible in strict first order. Merge.kif 9195-9202
No TPTP formula. May not be expressible in strict first order. Merge.kif 9169-9176
No TPTP formula. May not be expressible in strict first order. Merge.kif 9182-9189
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14308-14317
No TPTP formula. May not be expressible in strict first order. Merge.kif 9245-9247
No TPTP formula. May not be expressible in strict first order. Merge.kif 9378-9380


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