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

Formal Language: 



Term 1: Term 2:

(subclass Month TimeInterval) Merge.kif 9065-9065 Mese è una sottoclasse di IntervalloTemporale
(subclass January Month) Merge.kif 9070-9070 Gennaio è una sottoclasse di Mese
(subclass February Month) Merge.kif 9084-9084 Febbraio è una sottoclasse di Mese
(subclass March Month) Merge.kif 9108-9108 Marzo è una sottoclasse di Mese
(subclass April Month) Merge.kif 9122-9122 Aprile è una sottoclasse di Mese
(subclass May Month) Merge.kif 9136-9136 Maggio è una sottoclasse di Mese
(subclass June Month) Merge.kif 9150-9150 Giugno è una sottoclasse di Mese
(subclass July Month) Merge.kif 9164-9164 Luglio è una sottoclasse di Mese
(subclass August Month) Merge.kif 9178-9178 Agosto è una sottoclasse di Mese
(subclass September Month) Merge.kif 9192-9192 Settembre è una sottoclasse di Mese
(subclass October Month) Merge.kif 9207-9207 Ottobre è una sottoclasse di Mese
(subclass November Month) Merge.kif 9221-9221 Novembre è una sottoclasse di Mese
(subclass December Month) Merge.kif 9235-9235 Dicembre è una sottoclasse di Mese


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