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 8807-8807
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 6974-6974
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. pictureList.kif 8260-8260
No TPTP formula. May not be expressible in strict first order. Merge.kif 8805-8805 Week is a subclass of time interval

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8430-8430 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 1820-1820

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8772-8779
No TPTP formula. May not be expressible in strict first order. Merge.kif 8720-8727
No TPTP formula. May not be expressible in strict first order. Merge.kif 8785-8792
No TPTP formula. May not be expressible in strict first order. Merge.kif 8794-8803
No TPTP formula. May not be expressible in strict first order. Merge.kif 8759-8766
No TPTP formula. May not be expressible in strict first order. Merge.kif 8733-8740
No TPTP formula. May not be expressible in strict first order. Merge.kif 8746-8753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11568-11577
No TPTP formula. May not be expressible in strict first order. Merge.kif 8809-8811
No TPTP formula. May not be expressible in strict first order. Merge.kif 8942-8944


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