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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CellPartFn

 Sigma KEE - CellPartFn
CellPartFn

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


(documentation CellPartFn EnglishLanguage "(CellPartFn ?CELL ?PARTTYPE) denotes the object of type ?PARTTYPE that is part of ?CELL.") VirusProteinAndCellPart.kif 1170-1171
(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 1167-1167 Le nombre 1 argument de CellPartFn est une instance de cellule
(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 1168-1168 Le nombre 2 argument de CellPartFn est une sous-classe de CellPart
(instance CellPartFn BinaryFunction) VirusProteinAndCellPart.kif 1166-1166 CellPartFn est une instance de fonction binaire
(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1169-1169 Le domaine de CellPartFn est une instance de CellPart

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


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

statement
-------------------------


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 1175-1175 CellPartFn cellule and CellPart est une instance de CellPart
(properPart
    (CellPartFn ?CELL ?PARTTYPE) ?CELL)		 VirusProteinAndCellPart.kif 1173-1173 CellPartFn objet and CellPart est une partie de objet


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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