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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of cell part is an instance of cell
(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 584-584 The number 2 argument of cell part is a subclass of cell part
(instance CellPartFn BinaryFunction) VirusProteinAndCellPart.kif 582-582 Cell part is an instance of binary function
(range CellPartFn CellPart) VirusProteinAndCellPart.kif 585-585 The range of cell part is an instance of cell part

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 13615-13615
(termFormat ChineseTraditionalLanguage CellPartFn "細胞部分") domainEnglishFormat.kif 13614-13614
(termFormat EnglishLanguage CellPartFn "cell part") domainEnglishFormat.kif 13613-13613

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


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 591-591 The cell part of a cell and a kind of cell part is an instance of a kind of cell part
(properPart
    (CellPartFn ?CELL ?PARTTYPE) ?CELL)
VirusProteinAndCellPart.kif 589-589 The cell part of an entity and a kind of cell part is a proper part of the entity


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



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