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 8549-8549
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 8547-8547 June is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8448-8448 successorClass June and July

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8447-8447 successorClass May and June
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 1790-1790

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8555-8559
No TPTP formula. May not be expressible in strict first order. Merge.kif 8541-8545
No TPTP formula. May not be expressible in strict first order. Merge.kif 8551-8553

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3052-3052 The day 23 is an agreement effective date of antarctic treaty
No TPTP formula. May not be expressible in strict first order. Government.kif 2691-2691 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 2732-2732 The day 23 is a date established of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2852-2852 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 2945-2945 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 2991-2991 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 2997-2997 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 3266-3266 The day 22 is a date established of group of11
No TPTP formula. May not be expressible in strict first order. Government.kif 3292-3292 The day 15 is a date established of group of77
No TPTP formula. May not be expressible in strict first order. Government.kif 3409-3409 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 3466-3466 The month June is a date established of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3473-3473 The day 28 is a date established of international labor organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3506-3506 The day 23 is a date established of international olympic committee
No TPTP formula. May not be expressible in strict first order. Government.kif 3702-3702 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 3803-3803 The day 26 is a date established of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3871-3871 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 3971-3971 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 4100-4100 The day 26 is a date established of united nations secretariat
No TPTP formula. May not be expressible in strict first order. Government.kif 4111-4111 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 4175-4175 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 4188-4188 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 4257-4257 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 1618-1618 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 2507-2508 Montenegro is an instance of european nation holds during after the day 3
No TPTP formula. May not be expressible in strict first order. Media.kif 2505-2506 Montenegro is an instance of independent state holds during after the day 3

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners