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

Formal Language: 



Term 1: Term 2:

(subclass Month TimeInterval) Merge.kif 9043-9043 Month ist eine teilkategorie von TimeInterval
(subclass January Month) Merge.kif 9048-9048 January ist eine teilkategorie von Month
(subclass February Month) Merge.kif 9062-9062 February ist eine teilkategorie von Month
(subclass March Month) Merge.kif 9086-9086 March ist eine teilkategorie von Month
(subclass April Month) Merge.kif 9100-9100 April ist eine teilkategorie von Month
(subclass May Month) Merge.kif 9114-9114 May ist eine teilkategorie von Month
(subclass June Month) Merge.kif 9128-9128 June ist eine teilkategorie von Month
(subclass July Month) Merge.kif 9142-9142 July ist eine teilkategorie von Month
(subclass August Month) Merge.kif 9156-9156 August ist eine teilkategorie von Month
(subclass September Month) Merge.kif 9170-9170 September ist eine teilkategorie von Month
(subclass October Month) Merge.kif 9185-9185 October ist eine teilkategorie von Month
(subclass November Month) Merge.kif 9199-9199 November ist eine teilkategorie von Month
(subclass December Month) Merge.kif 9213-9213 December ist eine teilkategorie von 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