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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirusPart
  WesternFarsiLanguage

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 1102-1103
(subclass VirusPart BodyPart) VirusProteinAndCellPart.kif 1101-1101 Virus part is a subclass of body part

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


(range ViralPartFn VirusPart) VirusProteinAndCellPart.kif 1160-1160 The range of viral part is an instance of virus part
(subclass Palisade VirusPart) VirusProteinAndCellPart.kif 1124-1124 Palisade is a subclass of virus part
(subclass ViralCore VirusPart) VirusProteinAndCellPart.kif 1153-1153 Viral core is a subclass of virus part
(subclass VirusCoreEnvelope VirusPart) VirusProteinAndCellPart.kif 1116-1116 Virus core envelope is a subclass of virus part
(subclass VirusOuterMembrane VirusPart) VirusProteinAndCellPart.kif 1120-1120 Virus outer membrane is a subclass of virus part
(termFormat ChineseLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61774-61774
(termFormat ChineseTraditionalLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61773-61773
(termFormat EnglishLanguage VirusPart "virus part") domainEnglishFormat.kif 61772-61772

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


(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 1159-1159 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 1139-1144
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 1105-1110

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


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


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