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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VirusPart
VirusPart(virus part)capsid

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


(documentation VirusPart EnglishLanguage "The class of structures which are typically found or may be found in viruses.") VirusProteinAndCellPart.kif 1101-1102
(subclass VirusPart BodyPart) VirusProteinAndCellPart.kif 1100-1100 Virus part is a subclass of body part

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


(range ViralPartFn VirusPart) VirusProteinAndCellPart.kif 1159-1159 The range of viral part is an instance of virus part
(subclass Palisade VirusPart) VirusProteinAndCellPart.kif 1123-1123 Palisade is a subclass of virus part
(subclass ViralCore VirusPart) VirusProteinAndCellPart.kif 1152-1152 Viral core is a subclass of virus part
(subclass VirusCoreEnvelope VirusPart) VirusProteinAndCellPart.kif 1115-1115 Virus core envelope is a subclass of virus part
(subclass VirusOuterMembrane VirusPart) VirusProteinAndCellPart.kif 1119-1119 Virus outer membrane is a subclass of virus part
(termFormat ChineseLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61772-61772
(termFormat ChineseTraditionalLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61771-61771
(termFormat EnglishLanguage VirusPart "virus part") domainEnglishFormat.kif 61770-61770

appearance as argument number 3
-------------------------


(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 1158-1158 The number 2 argument of viral part is a subclass of virus part

antecedent
-------------------------


(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 1138-1143
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 1104-1109

consequent
-------------------------


(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 1145-1150


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