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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Month

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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9069-9069
No TPTP formula. May not be expressible in strict first order. Merge.kif 9068-9068
No TPTP formula. May not be expressible in strict first order. Merge.kif 9067-9067 Month is internally related to month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9066-9066 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 8688-8688 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 9123-9123 April is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9179-9179 August is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9237-9237 December is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9085-9085 February is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9071-9071 January is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9165-9165 July is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9151-9151 June is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9109-9109 March is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9137-9137 May is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9223-9223 November is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9209-9209 October is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9194-9194 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

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 8709-8709 The number 2 argument of day is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8686-8686 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 9492-9496

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 9488-9490


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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