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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - June
June(June)
June

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2800-2800
No TPTP formula. May not be expressible in strict first order. Merge.kif 8791-8791
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4919-4919
No TPTP formula. May not be expressible in strict first order. Merge.kif 8789-8789 June is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8690-8690 %2 is the successorClass of %2.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8689-8689 %2 is the successorClass of %2.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1282-1282
No TPTP formula. May not be expressible in strict first order. english_format.kif 1781-1781

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8797-8801
No TPTP formula. May not be expressible in strict first order. Merge.kif 8783-8787
No TPTP formula. May not be expressible in strict first order. Merge.kif 8793-8795

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3098-3098 The day 23 is an agreement effective date of antarctic treaty
No TPTP formula. May not be expressible in strict first order. Government.kif 2736-2736 The day 6 is a date established of african caribbean and pacific group of states
No TPTP formula. May not be expressible in strict first order. Government.kif 2782-2782 The day 23 is a date established of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2902-2902 The day 25 is a date established of black sea economic cooperation zone
No TPTP formula. May not be expressible in strict first order. Government.kif 2995-2995 The day 3 is a date established of council of arab economic unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3041-3041 The day 6 is a date established of east african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3047-3047 The day 26 is a date established of economic and social council
No TPTP formula. May not be expressible in strict first order. Government.kif 3316-3316 The day 22 is a date established of group of11
No TPTP formula. May not be expressible in strict first order. Government.kif 3342-3342 The day 15 is a date established of group of77
No TPTP formula. May not be expressible in strict first order. Government.kif 3459-3459 The day 13 is a date established of international criminal police organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3516-3516 The month June is a date established of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3523-3523 The day 28 is a date established of international labor organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3556-3556 The day 23 is a date established of international olympic committee
No TPTP formula. May not be expressible in strict first order. Government.kif 3752-3752 The day 18 is a date established of organization of eastern caribbean states
No TPTP formula. May not be expressible in strict first order. Government.kif 3853-3853 The day 26 is a date established of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3921-3921 The day 26 is a date established of united nations general assembly
No TPTP formula. May not be expressible in strict first order. Government.kif 4021-4021 The day 10 is a date established of united nations interim adminstration mission in kosovo
No TPTP formula. May not be expressible in strict first order. Government.kif 4150-4150 The day 26 is a date established of united nations secretariat
No TPTP formula. May not be expressible in strict first order. Government.kif 4161-4161 The day 26 is a date established of united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4225-4225 The month June is a date established of united nations truce supervision organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4238-4238 The day 26 is a date established of united nations trusteeship council
No TPTP formula. May not be expressible in strict first order. Government.kif 4307-4307 The day 19 is a date established of world confederation of labor
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
No TPTP formula. May not be expressible in strict first order. Media.kif 2531-2532 Serbia and montenegro is not an instance of independent state holds during after the day 3
No TPTP formula. May not be expressible in strict first order. Media.kif 2492-2493 Serbia is an instance of european nation holds during after the day 5

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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