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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8819-8819
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4863-4863
No TPTP formula. May not be expressible in strict first order. Merge.kif 8817-8817 August is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8692-8692 %2 is the successorClass of %2.

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8825-8829
No TPTP formula. May not be expressible in strict first order. Merge.kif 8811-8815
No TPTP formula. May not be expressible in strict first order. Merge.kif 8821-8823

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2743-2743 The day 4 is a date established of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2850-2850 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 3332-3332 The day 1 is a date established of group of24
No TPTP formula. May not be expressible in strict first order. Government.kif 3622-3622 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 3783-3783 The day 5 is a date established of pacific island forum
No TPTP formula. May not be expressible in strict first order. Government.kif 3838-3838 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 4097-4097 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 4288-4288 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 1660-1660 Summer season is equal to the recurring period from June to August


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