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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ViralPartFn

 Sigma KEE - ViralPartFn
ViralPartFn

appearance as argument number 1
-------------------------


(documentation ViralPartFn EnglishLanguage "(ViralPartFn ?VIR ?PARTTYPE) denotes the object of type ?PARTTYPE that is part of ?VIR.") VirusProteinAndCellPart.kif 1161-1162
(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 1158-1158 病毒部分 的 1 数量 是 病毒 的 instance
(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 1159-1159 病毒部分 的 2 数量 是 病毒部分 的 subclass
(instance ViralPartFn BinaryFunction) VirusProteinAndCellPart.kif 1157-1157 病毒部分 是 二元函数 的 instance
(range ViralPartFn VirusPart) VirusProteinAndCellPart.kif 1160-1160 病毒部分 的 range 是 病毒部分 的实例

appearance as argument number 2
-------------------------


(format ChineseLanguage ViralPartFn "%1 和 %2 的 viral 部分") domainEnglishFormat.kif 2599-2599
(format ChineseTraditionalLanguage ViralPartFn "%1 和 %2 的 viral 部分") domainEnglishFormat.kif 2598-2598
(format EnglishLanguage ViralPartFn "the viral part of %1 and %2") domainEnglishFormat.kif 2597-2597
(termFormat ChineseLanguage ViralPartFn "病毒部分") domainEnglishFormat.kif 61720-61720
(termFormat ChineseTraditionalLanguage ViralPartFn "病毒部分") domainEnglishFormat.kif 61719-61719
(termFormat EnglishLanguage ViralPartFn "viral part") domainEnglishFormat.kif 61718-61718

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


(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 1166-1166 病毒 和 有点 病毒部分 的 viral 部分 是 有点 病毒部分 的 instance
(part
    (ViralPartFn ?VIR ?PARTTYPE) ?VIR)		 VirusProteinAndCellPart.kif 1164-1164 病毒 和 有点 病毒部分 的 viral 部分 是 那个 病毒 的 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