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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8862-8862
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4935-4935
No TPTP formula. May not be expressible in strict first order. Merge.kif 8860-8860 November is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8695-8695 %2 is the successorClass of %2.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8694-8694 %2 is the successorClass of %2.
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8868-8872
No TPTP formula. May not be expressible in strict first order. Merge.kif 8854-8858
No TPTP formula. May not be expressible in strict first order. Merge.kif 8864-8866

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 2838-2838 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 2946-2946 The day 11 is a date established of central european initiative
No TPTP formula. May not be expressible in strict first order. Government.kif 3138-3138 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 4195-4195 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 3477-3477 The day 15 is a date established of international energy agency
No TPTP formula. May not be expressible in strict first order. Government.kif 3508-3508 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 3568-3568 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 3877-3877 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 3889-3889 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 3907-3907 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 4008-4008 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 4104-4104 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 4279-4279 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 4325-4325 The day 24 is a date established of world food program
No TPTP formula. May not be expressible in strict first order. Geography.kif 1661-1661 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 3.0 is open source software produced by Articulate Software and its partners