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 8955-8955
No TPTP formula. May not be expressible in strict first order. Merge.kif 8953-8953 Month is internally related to month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8952-8952 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 8483-8483 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 9009-9009 April is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9065-9065 August is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9122-9122 December is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8971-8971 February is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8957-8957 January is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9051-9051 July is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9037-9037 June is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8995-8995 March is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9023-9023 May is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9108-9108 November is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9094-9094 October is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9079-9079 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 1311-1311 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 8499-8499 The number 2 argument of day is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8481-8481 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 1526-1534
No TPTP formula. May not be expressible in strict first order. Geography.kif 1375-1382
No TPTP formula. May not be expressible in strict first order. Geography.kif 1423-1429
No TPTP formula. May not be expressible in strict first order. Geography.kif 1321-1328
No TPTP formula. May not be expressible in strict first order. Geography.kif 1578-1585
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 758-774
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 9372-9376

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3289-3294 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 1537-1545
No TPTP formula. May not be expressible in strict first order. Geography.kif 1570-1576
No TPTP formula. May not be expressible in strict first order. Geography.kif 1384-1390
No TPTP formula. May not be expressible in strict first order. Geography.kif 1432-1447
No TPTP formula. May not be expressible in strict first order. Geography.kif 1413-1420
No TPTP formula. May not be expressible in strict first order. Geography.kif 1291-1303
No TPTP formula. May not be expressible in strict first order. Geography.kif 1330-1337
No TPTP formula. May not be expressible in strict first order. Merge.kif 9368-9370


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