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

Formal Language: 



KB Term:  Term intersection
English Word: 

  September

Sigma KEE - September
September(September)
Sep, Sept, September

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2803-2803
No TPTP formula. May not be expressible in strict first order. Merge.kif 9172-9173
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1544-1544
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4942-4942
No TPTP formula. May not be expressible in strict first order. Merge.kif 9170-9170 September is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9032-9032 October is the successor class of September.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9031-9031 September is the successor class of August.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1285-1285
No TPTP formula. May not be expressible in strict first order. english_format.kif 1787-1787
No TPTP formula. May not be expressible in strict first order. french_format.kif 963-963
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 498-498
No TPTP formula. May not be expressible in strict first order. terms-it.txt 502-502
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2647-2647
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 915-915
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 504-504
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 538-538
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 984-984
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 503-503

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9164-9168
No TPTP formula. May not be expressible in strict first order. Merge.kif 9179-9183
No TPTP formula. May not be expressible in strict first order. Merge.kif 9175-9177

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2889-2889 The day 1 is a date established of australia new zealand united states security treaty
No TPTP formula. May not be expressible in strict first order. Government.kif 3134-3134 The day 20 is a date established of economic community of the great lakes countries
No TPTP formula. May not be expressible in strict first order. Government.kif 3341-3341 The month September is a date established of group of15
No TPTP formula. May not be expressible in strict first order. Government.kif 3278-3278 The month September is a date established of group of3
No TPTP formula. May not be expressible in strict first order. Government.kif 3284-3284 The day 22 is a date established of group of5
No TPTP formula. May not be expressible in strict first order. Government.kif 3301-3301 The day 22 is a date established of group of7
No TPTP formula. May not be expressible in strict first order. Government.kif 3656-3656 The day 6 is a date established of nonaligned movement
No TPTP formula. May not be expressible in strict first order. Government.kif 3779-3779 The day 14 is a date established of organization of petroleum exporting countries
No TPTP formula. May not be expressible in strict first order. Government.kif 3785-3785 The month September is a date established of organization of the islamic conference
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