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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - June
June(June)
6月, June, 六月

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12727-12727
No TPTP formula. May not be expressible in strict first order. Merge.kif 12725-12725
No TPTP formula. May not be expressible in strict first order. Merge.kif 12729-12729
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4919-4919 "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg" is a URL depicting June
No TPTP formula. May not be expressible in strict first order. Merge.kif 12723-12723 June is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 12600-12600 successorClass June and July

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12599-12599 successorClass May and June
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1282-1282 "六月" is the printable form of June in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 2559-2559 "June" is the printable form of June in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 2560-2560 "6月" is the printable form of June in japanese language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12735-12739
No TPTP formula. May not be expressible in strict first order. Merge.kif 12717-12721
No TPTP formula. May not be expressible in strict first order. Merge.kif 12731-12733

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3039-3039 The day 23 is an agreement effective date of antarctic treaty
No TPTP formula. May not be expressible in strict first order. Government.kif 2697-2697 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 2738-2738 The day 23 is a date established of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2858-2858 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 2951-2951 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 2997-2997 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 3003-3003 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 3272-3272 The day 22 is a date established of group of11
No TPTP formula. May not be expressible in strict first order. Government.kif 3298-3298 The day 15 is a date established of group of77
No TPTP formula. May not be expressible in strict first order. Government.kif 3415-3415 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 3472-3472 The month June is a date established of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3479-3479 The day 28 is a date established of international labor organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3512-3512 The day 23 is a date established of international olympic committee
No TPTP formula. May not be expressible in strict first order. Government.kif 3708-3708 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 3809-3809 The day 26 is a date established of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3877-3877 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 3977-3977 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 4106-4106 The day 26 is a date established of united nations secretariat
No TPTP formula. May not be expressible in strict first order. Government.kif 4117-4117 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 4181-4181 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 4194-4194 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 4263-4263 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 1606-1606 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