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. chinese_format.kif 2794-2794
No TPTP formula. May not be expressible in strict first order. Merge.kif 8707-8707
No TPTP formula. May not be expressible in strict first order. Merge.kif 8705-8705 Month is internally related to month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8704-8704 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 8248-8248 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 8761-8761 April is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8817-8817 August is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8874-8874 December is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8723-8723 February is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8709-8709 January is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8803-8803 July is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8789-8789 June is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8747-8747 March is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8775-8775 May is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8860-8860 November is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8846-8846 October is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8831-8831 September is a subclass of month
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1276-1276
No TPTP formula. May not be expressible in strict first order. english_format.kif 1769-1769

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1303-1303 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 8264-8264 The number 2 argument of day is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8246-8246 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 1518-1526
No TPTP formula. May not be expressible in strict first order. Geography.kif 1367-1374
No TPTP formula. May not be expressible in strict first order. Geography.kif 1415-1421
No TPTP formula. May not be expressible in strict first order. Geography.kif 1313-1320
No TPTP formula. May not be expressible in strict first order. Geography.kif 1570-1577
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 718-734
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 9124-9128

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3244-3249 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 1529-1537
No TPTP formula. May not be expressible in strict first order. Geography.kif 1562-1568
No TPTP formula. May not be expressible in strict first order. Geography.kif 1376-1382
No TPTP formula. May not be expressible in strict first order. Geography.kif 1424-1439
No TPTP formula. May not be expressible in strict first order. Geography.kif 1405-1412
No TPTP formula. May not be expressible in strict first order. Geography.kif 1283-1295
No TPTP formula. May not be expressible in strict first order. Geography.kif 1322-1329
No TPTP formula. May not be expressible in strict first order. Merge.kif 9120-9122


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 3.0 is open source software produced by Articulate Software and its partners