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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - January
January(January)
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 8469-8469
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4898-4898
No TPTP formula. May not be expressible in strict first order. Merge.kif 8467-8467 January is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8443-8443 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1780-1780

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8640-8647
No TPTP formula. May not be expressible in strict first order. Merge.kif 8475-8479
No TPTP formula. May not be expressible in strict first order. Merge.kif 8471-8473

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