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 647-648
(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 644-644 domain ViralPartFn, 1 and Virus
(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 645-645 domainSubclass ViralPartFn, 2 and VirusPart
(instance ViralPartFn BinaryFunction) VirusProteinAndCellPart.kif 643-643 instance ViralPartFn and BinaryFunction
(range ViralPartFn VirusPart) VirusProteinAndCellPart.kif 646-646 range ViralPartFn and VirusPart

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 61685-61685
(termFormat ChineseTraditionalLanguage ViralPartFn "病毒部分") domainEnglishFormat.kif 61684-61684
(termFormat EnglishLanguage ViralPartFn "viral part") domainEnglishFormat.kif 61683-61683

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


(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 652-652 instance ViralPartFn Virus and VirusPart and VirusPart
(part
    (ViralPartFn ?VIR ?PARTTYPE) ?VIR)
VirusProteinAndCellPart.kif 650-650 part ViralPartFn Virus and VirusPart and Virus


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