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

Formal Language: 



Term 1: Term 2:

(subclass Letter FactualText) Mid-level-ontology.kif 14804-14804 Letter is a subclass of factual text
(subclass Letter Correspondence) Media.kif 953-953 Letter is a subclass of correspondence
(subclass Letter TextDocument) Media.kif 954-954 Letter is a subclass of text document


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