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

Formal Language: 



Term 1: Term 2:

(subclass Month TimeInterval) Merge.kif 9065-9065 Month ist eine teilkategorie von TimeInterval
(subclass January Month) Merge.kif 9070-9070 January ist eine teilkategorie von Month
(subclass February Month) Merge.kif 9084-9084 February ist eine teilkategorie von Month
(subclass March Month) Merge.kif 9108-9108 March ist eine teilkategorie von Month
(subclass April Month) Merge.kif 9122-9122 April ist eine teilkategorie von Month
(subclass May Month) Merge.kif 9136-9136 May ist eine teilkategorie von Month
(subclass June Month) Merge.kif 9150-9150 June ist eine teilkategorie von Month
(subclass July Month) Merge.kif 9164-9164 July ist eine teilkategorie von Month
(subclass August Month) Merge.kif 9178-9178 August ist eine teilkategorie von Month
(subclass September Month) Merge.kif 9192-9192 September ist eine teilkategorie von Month
(subclass October Month) Merge.kif 9207-9207 October ist eine teilkategorie von Month
(subclass November Month) Merge.kif 9221-9221 November ist eine teilkategorie von Month
(subclass December Month) Merge.kif 9235-9235 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