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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 578-579
(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 575-575
(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 576-576
(instance ViralPartFn BinaryFunction) VirusProteinAndCellPart.kif 574-574
(range ViralPartFn VirusPart) VirusProteinAndCellPart.kif 577-577

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

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


(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 583-583
(part
    (ViralPartFn ?VIR ?PARTTYPE) ?VIR)
VirusProteinAndCellPart.kif 581-581


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 3.0 is open source software produced by Articulate Software and its partners