Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Month TimeInterval) Merge.kif 8941-8941 Month is a subclass of time interval
(subclass January Month) Merge.kif 8946-8946 January is a subclass of month
(subclass February Month) Merge.kif 8960-8960 February is a subclass of month
(subclass March Month) Merge.kif 8984-8984 March is a subclass of month
(subclass April Month) Merge.kif 8998-8998 April is a subclass of month
(subclass May Month) Merge.kif 9012-9012 May is a subclass of month
(subclass June Month) Merge.kif 9026-9026 June is a subclass of month
(subclass July Month) Merge.kif 9040-9040 July is a subclass of month
(subclass August Month) Merge.kif 9054-9054 August is a subclass of month
(subclass September Month) Merge.kif 9068-9068 September is a subclass of month
(subclass October Month) Merge.kif 9083-9083 October is a subclass of month
(subclass November Month) Merge.kif 9097-9097 November is a subclass of month
(subclass December Month) Merge.kif 9111-9111 December is a subclass of month


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