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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 586-587
(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 583-583
(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 584-584
(instance CellPartFn BinaryFunction) VirusProteinAndCellPart.kif 582-582
(range CellPartFn CellPart) VirusProteinAndCellPart.kif 585-585

appearance as argument number 2

(format EnglishLanguage CellPartFn "the cell part of %1 and %2") domainEnglishFormat.kif 109-109
(termFormat EnglishLanguage CellPartFn "cell part") domainEnglishFormat.kif 2703-2703


VirusProteinAndCellPart.kif 591-591
    (CellPartFn ?CELL ?PARTTYPE) ?CELL)
VirusProteinAndCellPart.kif 589-589

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners