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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MonthFn
MonthFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2754-2759
No TPTP formula. May not be expressible in strict first order. Merge.kif 8611-8619
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1481-1487
No TPTP formula. May not be expressible in strict first order. Merge.kif 8607-8607 O argumento numero 1 de MonthFn e' uma sub-classe de Mes
No TPTP formula. May not be expressible in strict first order. Merge.kif 8608-8608 O argumento numero 2 de MonthFn e' uma sub-classe de Ano
No TPTP formula. May not be expressible in strict first order. Merge.kif 8605-8605 MonthFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 8606-8606 MonthFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 8604-8604 MonthFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8609-8609 Os valores retornados por MonthFn sao as sub-classes de Mes

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 467-467
No TPTP formula. May not be expressible in strict first order. english_format.kif 473-473
No TPTP formula. May not be expressible in strict first order. french_format.kif 270-270
No TPTP formula. May not be expressible in strict first order. relations-it.txt 194-194
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2060-2060
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 222-222
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 276-276
No TPTP formula. May not be expressible in strict first order. relations-de.txt 610-610
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 232-232
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 291-291
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 297-297
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 373-373
No TPTP formula. May not be expressible in strict first order. Merge.kif 9080-9080 Mes e' relacionado internamente por SUMO a MonthFn
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38489-38489
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 468-468
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38488-38488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38487-38487
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 374-374

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24293-24303
No TPTP formula. May not be expressible in strict first order. Government.kif 576-581
No TPTP formula. May not be expressible in strict first order. Government.kif 583-589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23973-23989
No TPTP formula. May not be expressible in strict first order. Merge.kif 8758-8765
No TPTP formula. May not be expressible in strict first order. Merge.kif 8767-8772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14864-14873
No TPTP formula. May not be expressible in strict first order. Merge.kif 8742-8749
No TPTP formula. May not be expressible in strict first order. Merge.kif 8751-8756
No TPTP formula. May not be expressible in strict first order. Biography.kif 69-85
No TPTP formula. May not be expressible in strict first order. Biography.kif 99-115
No TPTP formula. May not be expressible in strict first order. Merge.kif 9109-9114
No TPTP formula. May not be expressible in strict first order. Merge.kif 9102-9107
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 9200-9204
No TPTP formula. May not be expressible in strict first order. Merge.kif 9257-9264
No TPTP formula. May not be expressible in strict first order. Merge.kif 9116-9120
No TPTP formula. May not be expressible in strict first order. Merge.kif 9092-9096
No TPTP formula. May not be expressible in strict first order. Merge.kif 9186-9190
No TPTP formula. May not be expressible in strict first order. Merge.kif 9172-9176
No TPTP formula. May not be expressible in strict first order. Merge.kif 9130-9134
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 9243-9247
No TPTP formula. May not be expressible in strict first order. Merge.kif 9229-9233
No TPTP formula. May not be expressible in strict first order. Merge.kif 9215-9219

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24293-24303
No TPTP formula. May not be expressible in strict first order. Government.kif 583-589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14864-14873
No TPTP formula. May not be expressible in strict first order. Biography.kif 69-85
No TPTP formula. May not be expressible in strict first order. Biography.kif 99-115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24252-24263
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3003-3011

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3192-3192 agreementAdoptionDate AntarcticTreaty and o dia 1
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 2958-2958 dateDissolved CoordinatingCommitteeOnExportControls and o dia 31
No TPTP formula. May not be expressible in strict first order. Government.kif 2973-2973 dateDissolved CouncilForMutualEconomicAssistance and o dia 1
No TPTP formula. May not be expressible in strict first order. Government.kif 4109-4109 dateDissolved UnitedNationsPreventiveDeploymentForce and o dia 25
No TPTP formula. May not be expressible in strict first order. Government.kif 4249-4249 dateDissolved WarsawPact and o dia 1
No TPTP formula. May not be expressible in strict first order. Government.kif 2714-2714 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and o dia 6
No TPTP formula. May not be expressible in strict first order. Government.kif 2721-2721 dateEstablished AfricanDevelopmentBank and o dia 4
No TPTP formula. May not be expressible in strict first order. Government.kif 2735-2735 dateEstablished AgencyForTheFrenchSpeakingCommunity and o dia 20
No TPTP formula. May not be expressible in strict first order. Government.kif 2742-2742 dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and o dia 14
No TPTP formula. May not be expressible in strict first order. Government.kif 2760-2760 dateEstablished AndeanCommunityOfNations and o dia 26
No TPTP formula. May not be expressible in strict first order. Government.kif 2765-2765 dateEstablished AntarcticTreatyCouncil and o dia 23
No TPTP formula. May not be expressible in strict first order. Government.kif 2776-2776 dateEstablished ArabBankForEconomicDevelopmentInAfrica and o dia 18
No TPTP formula. May not be expressible in strict first order. Government.kif 2782-2782 dateEstablished ArabCooperationCouncil and o dia 16
No TPTP formula. May not be expressible in strict first order. Government.kif 2788-2788 dateEstablished ArabFundForEconomicAndSocialDevelopment and o dia 16
No TPTP formula. May not be expressible in strict first order. Government.kif 2797-2797 dateEstablished ArabLeague and o dia 22
No TPTP formula. May not be expressible in strict first order. Government.kif 2806-2806 dateEstablished ArabMaghrebUnion and o dia 17
No TPTP formula. May not be expressible in strict first order. Government.kif 2815-2815 dateEstablished ArabMonetaryFund and o dia 27
No TPTP formula. May not be expressible in strict first order. Government.kif 2821-2821 dateEstablished AsiaPacificEconomicCooperation and o dia 7
No TPTP formula. May not be expressible in strict first order. Government.kif 2827-2827 dateEstablished AsianDevelopmentBank and o dia 19
No TPTP formula. May not be expressible in strict first order. Government.kif 2833-2833 dateEstablished AssociationOfSoutheastAsianNations and o dia 8
No TPTP formula. May not be expressible in strict first order. Government.kif 2853-2853 dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and o dia 1
No TPTP formula. May not be expressible in strict first order. Government.kif 2859-2859 dateEstablished BankForInternationalSettlements and o dia 20
No TPTP formula. May not be expressible in strict first order. Government.kif 2865-2865 dateEstablished BeneluxEconomicUnion and o dia 3
No TPTP formula. May not be expressible in strict first order. Government.kif 2885-2885 dateEstablished BlackSeaEconomicCooperationZone and o dia 25

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