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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Month
Month(month)Brumaire, Floreal, Frimaire, Fructidor, Germinal, Mes, Mese, Messidor, Nivose, Pluviose, Prairial, Revolutionary_calendar_month, Thermidor, Vendemiaire, Ventose, bulana, buwan, calendar_month, inst, instant, mahInaa, mois, month, prox, proximo, ult, ultimo,

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8937-8937
No TPTP formula. May not be expressible in strict first order. Merge.kif 8936-8936
No TPTP formula. May not be expressible in strict first order. Merge.kif 8935-8935 Month is internally related to month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8934-8934 Month is a subclass of time interval

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8636-8636 The values returned by month are subclasses of month
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 104-104 Dhu al hijjah is internally related to month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8991-8991 April is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9047-9047 August is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9105-9105 December is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8953-8953 February is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8939-8939 January is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9033-9033 July is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9019-9019 June is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8977-8977 March is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9005-9005 May is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9091-9091 November is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9077-9077 October is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9062-9062 September is a subclass of month
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1276-1276 "月" is the printable form of month in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 963-963 "month" is the printable form of month in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 954-954 "mois" is the printable form of month in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 489-489 "mahInaa" is the printable form of month in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 491-491 "Mese" is the printable form of month in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 906-906 "Mes" is the printable form of month in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 495-495 "bulana" is the printable form of month in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 529-529 "month" is the printable form of month in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 494-494 "buwan" is the printable form of month in tg

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1278-1278 The number 2 argument of average rainfall for period is an instance of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8657-8657 The number 2 argument of day is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8634-8634 The number 1 argument of month is a subclass of month

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1474-1479
No TPTP formula. May not be expressible in strict first order. Geography.kif 1340-1346
No TPTP formula. May not be expressible in strict first order. Geography.kif 1518-1524
No TPTP formula. May not be expressible in strict first order. Geography.kif 1511-1516
No TPTP formula. May not be expressible in strict first order. Geography.kif 1348-1353
No TPTP formula. May not be expressible in strict first order. Geography.kif 1381-1386
No TPTP formula. May not be expressible in strict first order. Geography.kif 1264-1270
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 712-725
No TPTP formula. May not be expressible in strict first order. Media.kif 498-506
No TPTP formula. May not be expressible in strict first order. Merge.kif 9360-9364

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3174-3179 A human has monthly income a currency measure if and only if there exists a time interval such that the time interval is an instance of month and the human income the currency measure for the time interval
No TPTP formula. May not be expressible in strict first order. Media.kif 587-597
No TPTP formula. May not be expressible in strict first order. Geography.kif 1481-1487
No TPTP formula. May not be expressible in strict first order. Geography.kif 1373-1379
No TPTP formula. May not be expressible in strict first order. Geography.kif 1388-1395
No TPTP formula. May not be expressible in strict first order. Merge.kif 9356-9358


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