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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 9152-9152
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 9150-9150 June e' uma sub-classe de Mes
No TPTP formula. May not be expressible in strict first order. Merge.kif 9051-9051 successorClass June and Julho

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9050-9050 successorClass Maio 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 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 9158-9162
No TPTP formula. May not be expressible in strict first order. Merge.kif 9144-9148
No TPTP formula. May not be expressible in strict first order. Merge.kif 9154-9156

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3193-3193 agreementEffectiveDate AntarcticTreaty and ?D e' uma instancia de o dia 23
No TPTP formula. May not be expressible in strict first order. Government.kif 2750-2750 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and o dia 6
No TPTP formula. May not be expressible in strict first order. Government.kif 2801-2801 dateEstablished AntarcticTreatyCouncil and o dia 23
No TPTP formula. May not be expressible in strict first order. Government.kif 2921-2921 dateEstablished BlackSeaEconomicCooperationZone and o dia 25
No TPTP formula. May not be expressible in strict first order. Government.kif 3014-3014 dateEstablished CouncilOfArabEconomicUnity and o dia 3
No TPTP formula. May not be expressible in strict first order. Government.kif 3060-3060 dateEstablished EastAfricanDevelopmentBank and o dia 6
No TPTP formula. May not be expressible in strict first order. Government.kif 3066-3066 dateEstablished EconomicAndSocialCouncil and o dia 26
No TPTP formula. May not be expressible in strict first order. Government.kif 3335-3335 dateEstablished GroupOf11 and o dia 22
No TPTP formula. May not be expressible in strict first order. Government.kif 3361-3361 dateEstablished GroupOf77 and o dia 15
No TPTP formula. May not be expressible in strict first order. Government.kif 3478-3478 dateEstablished InternationalCriminalPoliceOrganization and o dia 13
No TPTP formula. May not be expressible in strict first order. Government.kif 3535-3535 dateEstablished InternationalHydrographicOrganization and o mes June
No TPTP formula. May not be expressible in strict first order. Government.kif 3542-3542 dateEstablished InternationalLaborOrganization and o dia 28
No TPTP formula. May not be expressible in strict first order. Government.kif 3575-3575 dateEstablished InternationalOlympicCommittee and o dia 23
No TPTP formula. May not be expressible in strict first order. Government.kif 3771-3771 dateEstablished OrganizationOfEasternCaribbeanStates and o dia 18
No TPTP formula. May not be expressible in strict first order. Government.kif 3872-3872 dateEstablished UnitedNations and o dia 26
No TPTP formula. May not be expressible in strict first order. Government.kif 3940-3940 dateEstablished UnitedNationsGeneralAssembly and o dia 26
No TPTP formula. May not be expressible in strict first order. Government.kif 4040-4040 dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and o dia 10
No TPTP formula. May not be expressible in strict first order. Government.kif 4169-4169 dateEstablished UnitedNationsSecretariat and o dia 26
No TPTP formula. May not be expressible in strict first order. Government.kif 4180-4180 dateEstablished UnitedNationsSecurityCouncil and o dia 26
No TPTP formula. May not be expressible in strict first order. Government.kif 4244-4244 dateEstablished UnitedNationsTruceSupervisionOrganization and o mes June
No TPTP formula. May not be expressible in strict first order. Government.kif 4257-4257 dateEstablished UnitedNationsTrusteeshipCouncil and o dia 26
No TPTP formula. May not be expressible in strict first order. Government.kif 4326-4326 dateEstablished WorldConfederationOfLabor and o dia 19
No TPTP formula. May not be expressible in strict first order. Geography.kif 1665-1665 SummerSeason e' igual a o periodo recorrente de June a Agosto
No TPTP formula. May not be expressible in strict first order. Media.kif 2501-2504 Serbia e' uma instancia de EuropeanNation Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Media.kif 2496-2499 Serbia e' uma instancia de IndependentState Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal

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