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

Formal Language: 


Term 1: Term 2:

(subclass Month TimeInterval) Merge.kif 9156-9156 時間間隔subclass では
(subclass January Month) Merge.kif 9161-9161 1月subclass では
(subclass February Month) Merge.kif 9175-9175 2月subclass では
(subclass March Month) Merge.kif 9199-9199 3月subclass では
(subclass April Month) Merge.kif 9213-9213 4月subclass では
(subclass May Month) Merge.kif 9227-9227 5月subclass では
(subclass June Month) Merge.kif 9241-9241 6月subclass では
(subclass July Month) Merge.kif 9255-9255 7月subclass では
(subclass August Month) Merge.kif 9269-9269 8月subclass では
(subclass September Month) Merge.kif 9283-9283 9月subclass では
(subclass October Month) Merge.kif 9298-9298 10月subclass では
(subclass November Month) Merge.kif 9312-9312 11月subclass では
(subclass December Month) Merge.kif 9326-9326 12月subclass では


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