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

Formal Language: 



KB Term:  Term intersection
English Word: 

  August

Sigma KEE - August
August(August)
Aug, August

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2802-2802
No TPTP formula. May not be expressible in strict first order. Merge.kif 9158-9158
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1543-1543
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4862-4862
No TPTP formula. May not be expressible in strict first order. Merge.kif 9156-9156 August is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9031-9031 September is the successor class of August.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9030-9030 August is the successor class of July.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1284-1284
No TPTP formula. May not be expressible in strict first order. english_format.kif 1785-1785
No TPTP formula. May not be expressible in strict first order. french_format.kif 962-962
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 497-497
No TPTP formula. May not be expressible in strict first order. terms-it.txt 501-501
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2646-2646
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 914-914
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 503-503
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 537-537
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 983-983
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 502-502

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 9150-9154
No TPTP formula. May not be expressible in strict first order. Merge.kif 9160-9162

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2757-2757 The day 4 is a date established of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2869-2869 The day 8 is a date established of association of southeast asian nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3351-3351 The day 1 is a date established of group of24
No TPTP formula. May not be expressible in strict first order. Government.kif 3641-3641 The day 12 is a date established of latin american integration association
No TPTP formula. May not be expressible in strict first order. Government.kif 3802-3802 The day 5 is a date established of pacific island forum
No TPTP formula. May not be expressible in strict first order. Government.kif 3857-3857 The day 17 is a date established of southern african development community
No TPTP formula. May not be expressible in strict first order. Government.kif 4116-4116 The day 24 is a date established of united nations observer mission in georgia
No TPTP formula. May not be expressible in strict first order. Government.kif 4307-4307 The day 1 is a date established of west african economic and monetary union
No TPTP formula. May not be expressible in strict first order. Geography.kif 1665-1665 Summer season is equal to the recurring period from June to August


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