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

Formal Language: 



KB Term:  Term intersection
English Word: 

  November

Sigma KEE - November
November(November)
Nov, November

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2805-2805
No TPTP formula. May not be expressible in strict first order. Merge.kif 9201-9201
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1546-1546
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4934-4934
No TPTP formula. May not be expressible in strict first order. Merge.kif 9199-9199 November is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9034-9034 December is the successor class of November.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9033-9033 November is the successor class of October.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1287-1287
No TPTP formula. May not be expressible in strict first order. english_format.kif 1791-1791
No TPTP formula. May not be expressible in strict first order. french_format.kif 965-965
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 500-500
No TPTP formula. May not be expressible in strict first order. terms-it.txt 504-504
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2649-2649
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 917-917
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 506-506
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 540-540
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 986-986
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 505-505

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9207-9211
No TPTP formula. May not be expressible in strict first order. Merge.kif 9193-9197
No TPTP formula. May not be expressible in strict first order. Merge.kif 9203-9205

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


No TPTP formula. May not be expressible in strict first order. Media.kif 587-597
No TPTP formula. May not be expressible in strict first order. Media.kif 635-640

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2857-2857 The day 7 is a date established of asia pacific economic cooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2965-2965 The day 11 is a date established of central european initiative
No TPTP formula. May not be expressible in strict first order. Government.kif 3157-3157 The day 8 is a date established of euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order. Government.kif 4214-4214 The day 8 is a date established of international criminal tribunal for rwanda
No TPTP formula. May not be expressible in strict first order. Government.kif 3496-3496 The day 15 is a date established of international energy agency
No TPTP formula. May not be expressible in strict first order. Government.kif 3527-3527 The month November is a date established of international fund for agricultural development
No TPTP formula. May not be expressible in strict first order. Government.kif 3587-3587 The day 5 is a date established of international organization for migration
No TPTP formula. May not be expressible in strict first order. Government.kif 3896-3896 The day 28 is a date established of united nations civilian police mission in haiti
No TPTP formula. May not be expressible in strict first order. Government.kif 3908-3908 The day 22 is a date established of united nations development program
No TPTP formula. May not be expressible in strict first order. Government.kif 3926-3926 The day 16 is a date established of united nations educational scientific and cultural organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4027-4027 The day 17 is a date established of united nations industrial development organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4123-4123 The day 30 is a date established of united nations organization mission in the democratic republic of the congo
No TPTP formula. May not be expressible in strict first order. Government.kif 4298-4298 The day 14 is a date established of west african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 4344-4344 The day 24 is a date established of world food program
No TPTP formula. May not be expressible in strict first order. Geography.kif 1666-1666 Fall season is equal to the recurring period from September to November


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