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

Formal Language: 



Term 1: Term 2:

(subclass Month TimeInterval) Merge.kif 9065-9065 時間間隔subclass では %n
(subclass January Month) Merge.kif 9070-9070 1月subclass では %n
(subclass February Month) Merge.kif 9084-9084 2月subclass では %n
(subclass March Month) Merge.kif 9108-9108 3月subclass では %n
(subclass April Month) Merge.kif 9122-9122 4月subclass では %n
(subclass May Month) Merge.kif 9136-9136 5月subclass では %n
(subclass June Month) Merge.kif 9150-9150 6月subclass では %n
(subclass July Month) Merge.kif 9164-9164 7月subclass では %n
(subclass August Month) Merge.kif 9178-9178 8月subclass では %n
(subclass September Month) Merge.kif 9192-9192 9月subclass では %n
(subclass October Month) Merge.kif 9207-9207 10月subclass では %n
(subclass November Month) Merge.kif 9221-9221 11月subclass では %n
(subclass December Month) Merge.kif 9235-9235 12月subclass では %n


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