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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - October
October(October)
Oct, October

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2804-2804
No TPTP formula. May not be expressible in strict first order. Merge.kif 9300-9300
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1545-1545
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 9298-9298 October is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9146-9146 November is the successor class of October.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9145-9145 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1286-1286 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. english_format.kif 1789-1789 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. french_format.kif 964-964 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 499-499 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. terms-it.txt 503-503 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2648-2648 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 916-916 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 505-505 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 539-539 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. terms-de.txt 798-798 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 985-985 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 504-504 October is the successor class of September.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9306-9310
No TPTP formula. May not be expressible in strict first order. Merge.kif 9292-9296
No TPTP formula. May not be expressible in strict first order. Merge.kif 9302-9304

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2896-2896 The day 18 of month the month October is a date established of caribbean development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3226-3226 The day 16 of month the month October is a date established of food and agriculture organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3284-3284 The month October is a date established of group of10
No TPTP formula. May not be expressible in strict first order. Government.kif 3268-3268 The month October is a date established of group of8
No TPTP formula. May not be expressible in strict first order. Government.kif 3368-3368 The day 26 of month the month October is a date established of international atomic energy agency
No TPTP formula. May not be expressible in strict first order. Government.kif 3593-3593 The day 17 of month the month October is a date established of latin american economic system
No TPTP formula. May not be expressible in strict first order. Government.kif 4048-4048 The day 22 of month the month October is a date established of united nations mission in sierra leone
No TPTP formula. May not be expressible in strict first order. Government.kif 4198-4198 The day 25 of month the month October is a date established of united nations transitional administration in east timor
No TPTP formula. May not be expressible in strict first order. Government.kif 4235-4235 The day 9 of month the month October is a date established of universal postal union
No TPTP formula. May not be expressible in strict first order. Government.kif 4274-4274 The day 23 of month the month October is a date established of western european union
No TPTP formula. May not be expressible in strict first order. Government.kif 4299-4299 The day 3 of month the month October is a date established of world federation of trade unions
No TPTP formula. May not be expressible in strict first order. Government.kif 4323-4323 The day 11 of month the month October is a date established of world meteorological organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2752-2755 A time position is an instance of the day 1 of month the month October and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position


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