Term Intersection : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguagecbczdehirosvtermFormattg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

Term 1: Term 2:

(=>     (and         (instance ?NUCLEUS ?CLASS)         (subclass ?CLASS CellNucleus)         (initialPart ?CLASS EukaryoticCell))     (exists (?CHROMOTIN)         (and             (instance ?CHROMOTIN Chromotin)             (part ?CHROMOTIN ?NUCLEUS))))	VirusProteinAndCellPart.kif 605-613	If an object is an instance of another kind of object and another kind of object is a subclass of CellNucleus and initialPart the other kind of object and EukaryoticCell, then there exists a third object such that the third object is an instance of Chromotin and the third object is a part of the object
(subclass CellNucleus CellPart)	Mid-level-ontology.kif 12214-12214	CellNucleus is a subclass of CellPart

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