Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  CellPartFn

 Sigma KEE - CellPartFn
CellPartFn

appearance as argument number 1
-------------------------


(instance CellPartFn BinaryFunction) VirusProteinAndCellPart.kif 1153-1153 Cell part is an instance of binary function
(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 1154-1154 The number 1 argument of cell part is an instance of cell
(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 1155-1155 The number 2 argument of cell part is a subclass of cell part
(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1156-1156 The range of cell part is an instance of cell part
(documentation CellPartFn EnglishLanguage "(CellPartFn ?CELL ?PARTTYPE) denotes the object of type ?PARTTYPE that is part of ?CELL.") VirusProteinAndCellPart.kif 1157-1158 The range of cell part is an instance of cell part

appearance as argument number 2
-------------------------


(format EnglishLanguage CellPartFn "the cell part of %1 and %2") domainEnglishFormat.kif 398-398
(format ChineseTraditionalLanguage CellPartFn "%1 和 %2 的 cell 部分") domainEnglishFormat.kif 399-399
(format ChineseLanguage CellPartFn "%1 和 %2 的 cell 部分") domainEnglishFormat.kif 400-400
(termFormat EnglishLanguage CellPartFn "cell part") domainEnglishFormat.kif 13686-13686
(termFormat ChineseTraditionalLanguage CellPartFn "細胞部分") domainEnglishFormat.kif 13687-13687
(termFormat ChineseLanguage CellPartFn "细胞部分") domainEnglishFormat.kif 13688-13688

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners