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 8629-8629
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4936-4936
No TPTP formula. May not be expressible in strict first order. Merge.kif 8627-8627 October is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8475-8475 successorClass October and November

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8474-8474 successorClass September and October
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1286-1286
No TPTP formula. May not be expressible in strict first order. english_format.kif 1798-1798

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8635-8639
No TPTP formula. May not be expressible in strict first order. Merge.kif 8621-8625
No TPTP formula. May not be expressible in strict first order. Merge.kif 8631-8633

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2866-2866 The day 18 is a date established of caribbean development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3196-3196 The day 16 is a date established of food and agriculture organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3254-3254 The month October is a date established of group of10
No TPTP formula. May not be expressible in strict first order. Government.kif 3238-3238 The month October is a date established of group of8
No TPTP formula. May not be expressible in strict first order. Government.kif 3338-3338 The day 26 is a date established of international atomic energy agency
No TPTP formula. May not be expressible in strict first order. Government.kif 3563-3563 The day 17 is a date established of latin american economic system
No TPTP formula. May not be expressible in strict first order. Government.kif 4018-4018 The day 22 is a date established of united nations mission in sierra leone
No TPTP formula. May not be expressible in strict first order. Government.kif 4168-4168 The day 25 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 4205-4205 The day 9 is a date established of universal postal union
No TPTP formula. May not be expressible in strict first order. Government.kif 4244-4244 The day 23 is a date established of western european union
No TPTP formula. May not be expressible in strict first order. Government.kif 4269-4269 The day 3 is a date established of world federation of trade unions
No TPTP formula. May not be expressible in strict first order. Government.kif 4293-4293 The day 11 is a date established of world meteorological organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2726-2726 Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1


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