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 575-576
(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 572-572 The number 1 argument of viral part is an instance of virus
(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 573-573 The number 2 argument of viral part is a subclass of virus part
(instance ViralPartFn BinaryFunction) VirusProteinAndCellPart.kif 571-571 Viral part is an instance of binary function
(range ViralPartFn VirusPart) VirusProteinAndCellPart.kif 574-574 The range of viral part is an instance of virus part

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


(format ChineseLanguage ViralPartFn "%1 和 %2 的 viral 部分") domainEnglishFormat.kif 2595-2595
(format ChineseTraditionalLanguage ViralPartFn "%1 和 %2 的 viral 部分") domainEnglishFormat.kif 2594-2594
(format EnglishLanguage ViralPartFn "the viral part of %1 and %2") domainEnglishFormat.kif 2593-2593
(termFormat ChineseLanguage ViralPartFn "病毒部分") domainEnglishFormat.kif 61626-61626
(termFormat ChineseTraditionalLanguage ViralPartFn "病毒部分") domainEnglishFormat.kif 61625-61625
(termFormat EnglishLanguage ViralPartFn "viral part") domainEnglishFormat.kif 61624-61624

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


(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 580-580 The viral part of a virus and a kind of virus part is an instance of a kind of virus part
(part
    (ViralPartFn ?VIR ?PARTTYPE) ?VIR)
VirusProteinAndCellPart.kif 578-578 The viral part of a virus and a kind of virus part is a part of the virus


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