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

Formal Language: 



KB Term:  Term intersection
English Word: 

  June

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 9130-9130
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1541-1541
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4918-4918
No TPTP formula. May not be expressible in strict first order. Merge.kif 9128-9128 June is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9029-9029 July is the successor class of June.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9028-9028 June is the successor class of May.
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
No TPTP formula. May not be expressible in strict first order. french_format.kif 960-960
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 495-495
No TPTP formula. May not be expressible in strict first order. terms-it.txt 499-499
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2644-2644
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 501-501
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 535-535
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 981-981
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 500-500

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9136-9140
No TPTP formula. May not be expressible in strict first order. Merge.kif 9122-9126
No TPTP formula. May not be expressible in strict first order. Merge.kif 9132-9134

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3193-3193 ?D is an instance of the day 23 is an agreement effective date of antarctic treaty
No TPTP formula. May not be expressible in strict first order. Government.kif 2750-2750 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 2801-2801 The day 23 is a date established of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2921-2921 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 3014-3014 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 3060-3060 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 3066-3066 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 3335-3335 The day 22 is a date established of group of11
No TPTP formula. May not be expressible in strict first order. Government.kif 3361-3361 The day 15 is a date established of group of77
No TPTP formula. May not be expressible in strict first order. Government.kif 3478-3478 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 3535-3535 The month June is a date established of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3542-3542 The day 28 is a date established of international labor organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3575-3575 The day 23 is a date established of international olympic committee
No TPTP formula. May not be expressible in strict first order. Government.kif 3771-3771 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 3872-3872 The day 26 is a date established of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3940-3940 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 4040-4040 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 4169-4169 The day 26 is a date established of united nations secretariat
No TPTP formula. May not be expressible in strict first order. Government.kif 4180-4180 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 4244-4244 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 4257-4257 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 4326-4326 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 1665-1665 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 2501-2504 Serbia is an instance of european nation and a time position is an instance of the day 5 holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2496-2499 Serbia is an instance of independent state and a time position is an instance of the day 5 holds during after the time position

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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