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 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

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


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 591-591
(properPart
    (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