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 1179-1180
(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 1176-1176 CellPartFn の数値 1 引数は 細胞 の instance では
(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 1177-1177 CellPartFn の数値 2 引数は CellPart のsubclass では
(instance CellPartFn BinaryFunction) VirusProteinAndCellPart.kif 1175-1175 CellPartFn は 2変数関数 の instance では
(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1178-1178 CellPartFn の range は 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 13689-13689
(termFormat ChineseTraditionalLanguage CellPartFn "細胞部分") domainEnglishFormat.kif 13688-13688
(termFormat EnglishLanguage CellPartFn "cell part") domainEnglishFormat.kif 13687-13687

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


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 1184-1184 CellPartFn 細胞 and CellPart は CellPart の instance では
(properPart
    (CellPartFn ?CELL ?PARTTYPE) ?CELL)		 VirusProteinAndCellPart.kif 1182-1182 CellPartFn オブジェクト and CellPart は オブジェクト の proper part では


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