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

Formal Language: 



KB Term:  Term intersection
English Word: 

  January

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 9050-9050
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1536-1536
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4897-4897
No TPTP formula. May not be expressible in strict first order. Merge.kif 9048-9048 January is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9024-9024 February is the successor class of January.

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 1771-1771
No TPTP formula. May not be expressible in strict first order. french_format.kif 955-955
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 490-490
No TPTP formula. May not be expressible in strict first order. terms-it.txt 494-494
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2639-2639
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 907-907
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 496-496
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 530-530
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 976-976
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 495-495

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


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 9056-9060
No TPTP formula. May not be expressible in strict first order. Merge.kif 9052-9054

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2391-2396

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3009-3009 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 2895-2895 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 3008-3008 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 3146-3146 The month January is a date established of economic cooperation organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3183-3183 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 3489-3489 The day 26 is a date established of international development association
No TPTP formula. May not be expressible in strict first order. Government.kif 3714-3714 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 3765-3765 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 3808-3808 The day 11 is a date established of partnership for peace
No TPTP formula. May not be expressible in strict first order. Government.kif 4060-4060 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 4368-4368 The day 2 is a date established of world tourism organization
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2143-2143 Unix epoch is equal to the second 0
No TPTP formula. May not be expressible in strict first order. Media.kif 517-517 Epiphany is a subclass of the day 6


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