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 587-588
(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 584-584 domain CellPartFn, 1 and Cell
(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 585-585 domainSubclass CellPartFn, 2 and CellPart
(instance CellPartFn BinaryFunction) VirusProteinAndCellPart.kif 583-583 instance CellPartFn and BinaryFunction
(range CellPartFn CellPart) VirusProteinAndCellPart.kif 586-586 range CellPartFn and 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 13624-13624
(termFormat ChineseTraditionalLanguage CellPartFn "細胞部分") domainEnglishFormat.kif 13623-13623
(termFormat EnglishLanguage CellPartFn "cell part") domainEnglishFormat.kif 13622-13622

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


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 592-592 instance CellPartFn Cell and CellPart and CellPart
(properPart
    (CellPartFn ?CELL ?PARTTYPE) ?CELL)		 VirusProteinAndCellPart.kif 590-590 properPart CellPartFn Entity and CellPart and Entity


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