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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - January
January(January)
1月, Jan, January, 一月

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2795-2795
No TPTP formula. May not be expressible in strict first order. Merge.kif 8368-8368
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4898-4898 "http://upload.wikimedia.org/wikipedia/commons/f/f6/ Ice_fishing-Lake_Harriet-2007-01-20.jpg" is a URL depicting January
No TPTP formula. May not be expressible in strict first order. Merge.kif 8366-8366 January is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8342-8342 successorClass January and February

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1277-1277 "一月" is the printable form of January in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1780-1780 "January" is the printable form of January in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8539-8546
No TPTP formula. May not be expressible in strict first order. Merge.kif 8374-8378
No TPTP formula. May not be expressible in strict first order. Merge.kif 8370-8372

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2368-2373

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2940-2940 The day 1 is a date dissolved of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order. Government.kif 2826-2826 The day 20 is a date established of bank for international settlements
No TPTP formula. May not be expressible in strict first order. Government.kif 2939-2939 The day 25 is a date established of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order. Government.kif 3077-3077 The month January is a date established of economic cooperation organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3114-3114 The day 4 is a date established of european free trade association
No TPTP formula. May not be expressible in strict first order. Government.kif 3420-3420 The day 26 is a date established of international development association
No TPTP formula. May not be expressible in strict first order. Government.kif 3645-3645 The day 1 is a date established of organization for security and cooperation in europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3696-3696 The day 9 is a date established of organization of arab petroleum exporting countries
No TPTP formula. May not be expressible in strict first order. Government.kif 3739-3739 The day 11 is a date established of partnership for peace
No TPTP formula. May not be expressible in strict first order. Government.kif 3991-3991 The day 24 is a date established of united nations military observer group in india and pakistan
No TPTP formula. May not be expressible in strict first order. Government.kif 4299-4299 The day 2 is a date established of world tourism organization
No TPTP formula. May not be expressible in strict first order. Media.kif 517-517 Epiphany is a subclass of the day 6


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners