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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - November
November(November)
11月, Nov, November, 十一月

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12819-12819
No TPTP formula. May not be expressible in strict first order. Merge.kif 12817-12817
No TPTP formula. May not be expressible in strict first order. Merge.kif 12821-12821
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4935-4935 "http://upload.wikimedia.org/wikipedia/commons/f/f8/ PB090036.JPG" is a URL depicting November
No TPTP formula. May not be expressible in strict first order. Merge.kif 12815-12815 November is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 12605-12605 successorClass November and December

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12604-12604 successorClass October and November
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1287-1287 "十一月" is the printable form of November in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 2574-2574 "November" is the printable form of November in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 2575-2575 "11月" is the printable form of November in japanese language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12827-12831
No TPTP formula. May not be expressible in strict first order. Merge.kif 12809-12813
No TPTP formula. May not be expressible in strict first order. Merge.kif 12823-12825

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 2794-2794 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 2902-2902 The day 11 is a date established of central european initiative
No TPTP formula. May not be expressible in strict first order. Government.kif 3094-3094 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 4151-4151 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 3433-3433 The day 15 is a date established of international energy agency
No TPTP formula. May not be expressible in strict first order. Government.kif 3464-3464 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 3524-3524 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 3833-3833 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 3845-3845 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 3863-3863 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 3964-3964 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 4060-4060 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 4235-4235 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 4281-4281 The day 24 is a date established of world food program
No TPTP formula. May not be expressible in strict first order. Geography.kif 1607-1607 Fall season is equal to the recurring period from September to November


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